64*x + 4034. Let j be c(-63). Is -0.81 greater than or equal to j?
False
Let h = 77.1938 + 0.1062. Let s = h + -56.3. Which is smaller: s or 0.1?
0.1
Let x = -135.1 - -125.268. Let u = -0.168 + x. Which is smaller: u or 0.08?
u
Let o = 86.213 - 0.213. Let y = 79 - o. Which is bigger: y or 3?
3
Let u = -293.90658 + -0.09342. Do 4/5 and u have the same value?
False
Suppose -5*a - 2 + 19 = -2*k, -4*k = 4. Suppose 2*b - b - 73 = 4*u, 4*b = -a*u - 31. Which is greater: -15 or u?
-15
Let y = -31.52 + 31.54. Is y at most as big as -117?
False
Let h = -3420237/16765 + 7143/35. Which is smaller: 1 or h?
h
Let v = 16914 + -169647/10. Let l = v + 90733/1790. Is l smaller than -1?
False
Let j be 2/12*68/(-17). Let h = -2.5 - -2. Let p = 3.5 - h. Is j equal to p?
False
Let f = 57018467/78273 + 31/6021. Let z = 729 - f. Let q(v) = 21*v + 274. Let x be q(-13). Which is smaller: x or z?
z
Let c be (2 - 194/(-10))/(40/400). Which is bigger: -11 or c?
c
Let v = -142 - -138. Let a be ((-90)/(-8))/(-9)*v. Suppose 96 = -a*q + 13*q. Which is smaller: 16 or q?
q
Let q(m) = m**3 - 18*m**2 + 45*m + 193. Let b be q(21). Is b < 2462?
True
Let x = -312.8 - -990.8. Which is smaller: x or -4?
-4
Suppose 2491*v - 3951 = 6013. Let y = -12 - -20. Let b = 7.4 - y. Which is bigger: b or v?
v
Let p = -59 + 58. Let g be 33*((-3)/(-2) + 8/(-16)). Is g at least p?
True
Let c(v) = 2*v - 5. Let j be c(3). Let n be 8/(-50)*8400/(-1600). Is n bigger than j?
False
Suppose 0 = -5*i + 5*v + 40, 2*v + 4 + 30 = 5*i. Let k be (i/(-9))/((-2)/3). Let y be ((-28)/(-240))/((-42)/24 + 2). Is y at most as big as k?
True
Let s = 20.1 + 15.9. Is 0.009 at most as big as s?
True
Suppose 71*r + 9291 = -92*r. Are -209 and r non-equal?
True
Let h be ((-12)/(-8))/((-1)/34). Let y be 44 + -39 - (-248)/h. Which is smaller: -2 or y?
-2
Let h be 10/(-22)*(-56)/(-24)*3074/(-203). Is 15 >= h?
False
Let i(p) = -15*p + 321. Let g be i(21). Let c(o) = 331*o - 1. Let b be c(1). Let f be g/35*b/(-6). Which is bigger: -8 or f?
-8
Suppose -3*l - 5*l = 16. Let c = l - -4/3. Which is greater: c or 1/24?
1/24
Suppose 3*t - 165 + 233 = 5*o, 5*o - 62 = -3*t. Let z be (10/(-8))/(2/(-22)). Is o < z?
True
Let g = 18841/4 + -4706. Which is bigger: g or 5?
5
Let x = 12137 - 8573. Which is smaller: x or 3563?
3563
Suppose -6*p - 7268 + 23790 = -5858. Is p greater than or equal to 3729?
True
Let h = 66 + -67. Let j be (-46)/16 + 0 + 2 + h. Suppose 0 = 15*k + 43 - 13. Which is greater: k or j?
j
Let t = 12 + -11.76. Let z = t - -0.04. Let s = 25/153 + 1/17. Is z bigger than s?
True
Let x = 2/3341 - -6260/704951. Let t be 2682/(-14)*(-9)/(-633). Let z = x + t. Is z greater than -2?
False
Let c = -682 + 1021. Do c and 338 have different values?
True
Let l be (62 - 1 - -1)*2. Suppose 9*h = -10*h + 7*h + 708. Let c = l - h. Which is smaller: 64 or c?
64
Let h(t) = 2*t**2 + 4*t + 2. Let z be h(-3). Suppose -25 = 18*s - 25. Suppose -d + z*d = -s*d. Do d and -6 have the same value?
False
Let b = 299.0361 + -0.0361. Let z = 299.66 - b. Which is bigger: z or -1/2?
z
Let n be (-40)/18 + (-14)/(-63). Let s be (329/(-70))/((n/4)/1). Let q = -10 + s. Is 0 smaller than q?
False
Let m = 273.134 - 0.134. Let i = 276 - m. Is i equal to -0.01?
False
Suppose -5*a - 142 = -5*h + 33, -a - 68 = -2*h. Suppose h = -3*p - 147. Let w be ((-2)/p)/((48/15)/4). Which is bigger: w or -1?
w
Suppose -358*p + 745387 + 416387 = 150424. Is p >= 2818?
True
Let c be ((-2)/312*-18)/((-2)/(-172)). Let h = c + -511/117. Is h less than 6?
True
Let a(i) = -i**2 - 2. Let k be a(0). Let u = 12940 - 3894936/301. Let j = -3560/3913 - u. Which is bigger: k or j?
j
Suppose 3*y - 176 = 5*g - 113, -4*y - 20 = 2*g. Which is bigger: g or 7?
7
Let p = 9790 + -9560. Which is smaller: p or 236?
p
Let y be -12 + (-198)/(-9) + -5671. Which is bigger: y or -5659?
-5659
Let r = -2 - -3. Suppose 0 = -2*b + 45 - r. Which is bigger: 1/3 or b?
b
Let v(u) = u**2 - 5*u. Let l be v(6). Suppose -l*s + 55 = -s. Suppose 2*c = -9*c + 121. Is c < s?
False
Suppose 3*g = 4*d - 9, -g + 0*g = -4*d + 3. Suppose -55*q - 9*q + 320 = d. Which is bigger: 13 or q?
13
Let n = 10770 - 10775. Is n > -8/289?
False
Let j(a) = -7*a - 2. Let r(l) = 190*l + 55. Let c(p) = -55*j(p) - 2*r(p). Let d(g) = -4*g - 3. Let b(s) = -5*c(s) - 5*d(s). Let n be b(3). Are 3/4 and n equal?
False
Let w = 158 + -419. Let m be w/(-36)*12/(-39). Which is bigger: -3 or m?
m
Suppose 677*y - 487 = 682*y - i, 2*y + 174 = 3*i. Which is smaller: y or -79?
y
Let u = -15971 - -175843/11. Which is smaller: -1/6 or u?
-1/6
Suppose 4*h = 112 - 28. Let p be ((-14)/h)/(4/(-78)). Suppose -2*x = 2*s + 10, p = -5*x + 2*x - 4*s. Is x at most -4?
True
Let a(o) = 11*o**2 + 108*o + 5. Let z be a(-14). Do z and 652 have the same value?
False
Suppose 99*q - 6939 = -23*q - 135*q. Let k be 3/6*1 - -27. Which is greater: q or k?
k
Let z be -13 - (-1)/((-15)/(-210)). Is -8/1587 < z?
True
Let f = -7 - 68. Let z = f - -227/3. Let h = -90 - -108. Which is greater: z or h?
h
Suppose -2*l - p = 3*p - 12, -2*p = -l - 6. Let f = 1792 - 331518/185. Is l greater than or equal to f?
False
Suppose 2*i + 23 = 11. Let y = i - -21. Let h be (-4)/(-10) + y/(-100). Which is smaller: h or -1/2?
-1/2
Let o = -2850 - -2856. Suppose -3*w + 0*w + 3 = 0. Which is bigger: o or w?
o
Let c = 34 - 9. Suppose 5*r - 10 = 15. Suppose -a = -3*w + r, -w + 7*a - 2*a = -c. Which is smaller: w or -1/17?
-1/17
Let s = 1 + -1.2. Let j = 573.8 - 474. Let f = j - 98. Is f at most s?
False
Suppose -114*y - 15927 + 3615 = 0. Is -63 <= y?
False
Let w be (-1)/5*960/2624. Is -8/5 greater than or equal to w?
False
Let x(u) = 10 + 20 - 7*u + 7. Let i be x(6). Let q = i + 1. Do -38/7 and q have the same value?
False
Suppose 0 = -5*s + 2*g + 8, 41*s - 5*g - 20 = 40*s. Is 1/1957 less than s?
False
Suppose 0*p + p - 65 = -4*c, 0 = -2*c + 3*p + 43. Let v be -1 - (-193)/12 - (-82)/123. Which is bigger: v or c?
c
Let x be ((-36)/7)/(33/((-22176)/256)). Is x greater than or equal to -21?
True
Let n = -8630 + 8629. Which is bigger: 2816 or n?
2816
Let n be ((-20)/(-45))/(24/36). Suppose s + 8 = 2. Let c(m) = -m - 5. Let h be c(s). Is h bigger than n?
True
Let u(i) = -9*i - 37. Let t be u(11). Let j = t - -64. Is j less than or equal to -3/4?
True
Suppose -222 = 3*o - 4*s, o - 393 = 6*o + s. Suppose 15*r + 1328 - 191 = -3*c, r + 3*c = -87. Are o and r equal?
False
Let v = 565 + -567. Let x be 10 - 1 - (-36)/v. Which is smaller: x or -31?
-31
Suppose 5*a + 5*w = 5, 1 = -3*a - 5*w - 6. Let d(v) = 3*v - 8. Let l be d(a). Suppose -5*z - 5*j = -9*z + 84, 4*z = -5*j + 4. Which is smaller: z or l?
l
Let v = 185.07 - 186. Let u = v - -0.73. Which is smaller: u or -2/65?
u
Let z = 38059 - 38059.01. Let h = -0.6 + 1.6. Let v = h + -0.8. Which is smaller: v or z?
z
Suppose 0 = 4*c - 6*c - 5*o + 29, 24 = 2*c + 4*o. Let l be (-1)/(1 - c/3) + 4. Is l < -2/431?
False
Let p be 984/(-38) + 38/361. Are p and -4 unequal?
True
Let h = -1.814 + 0.174. Let x = -1.54 - h. Is x greater than or equal to 47?
False
Let i = -97.9 - -99.9. Is -331 at most i?
True
Let d = 16728 - 16856. Suppose -274 = 2*s - 22. Is d less than s?
True
Let c = 319225 - 319152. Let q be ((-1)/(-5))/((-1)/3). Are q and c nonequal?
True
Let p = -51 + 51. Suppose 3*h - 1 = 2*b, h + 2*b - 3 = -p. Let z be -4 - -4 - (-4)/12. Which is greater: h or z?
h
Suppose -7 - 8 = 5*h. Let m(p) = -p. Let o be m(-1). Let f(u) = -2*u**3 - 3*u**2 + 1. Let i be f(o). Which is smaller: h or i?
i
Let g(x) = -81*x + 475. Let w be g(2). Which is bigger: w or 2816/9?
w
Let y = -568.6 + 568.47. Is 70 greater than y?
True
Let t = -0.432 - -20.532. Let c = t - 21. Which is smaller: -2 or c?
-2
Let i = 481.46087 - 0.46087. Is -1/23 greater than or equal to i?
False
Let d(r) = 19*r**2 + 810*r - 52. Let x be d(-43). Which is smaller: 247 or x?
247
Let o = -203.7 + 203.3. Which is smaller: 71/5 or o?
o
Let r be (((-165)/(-13475))/(2/(-5)))/((-4)/(-322)). Which is bigger: -1 or r?
-1
Let g = 20895 - 20668. Which is smaller: g or 182?
182
Let v be (21/8)/(1086/(-4163)). Is -11 > v?
False
Suppose 0*f - f = -4. Suppose -2*w = z + 23, w + z + f*z = -7. Let d be (1 - 1)/(w/4). Is d > -2/7?
True
Let s = -54 + 54. Suppose 15*v - 2*v - 13 = s. Let m(n) = -6*n - 7. Let u be m(v). Is u at most as big as