27*a. Which is smaller: -4453 or a?
a
Let x = -438 + 930. Let o = 463.1 - x. Let j = o + 29. Which is greater: -0.09 or j?
j
Let q = -6794 - -6794. Which is smaller: 723 or q?
q
Let s = 817 + -771.7. Let v = s + -45. Let k = 0.72 - -0.28. Is v bigger than k?
False
Let q = -8 + 6. Let j = -161.9823 + 162. Let c = 0.1823 + j. Is c bigger than q?
True
Let h(t) = 4*t**3 + 24*t**2 + 46*t + 62. Let y be h(-14). Which is greater: y or -0.2?
-0.2
Suppose -5*k - 519 = -2*z - 181, -3*z + 133 = -2*k. Let x(j) = 2*j**2 - 21*j + 51. Let b be x(9). Let i be (-2)/b + 17/k. Does 1 = i?
False
Let w be (1 - -3) + 105/(-5). Suppose 4*g = 5*j - 270, 4*g = -5*j + 4*j + 54. Suppose -c - 2*c - j = 0. Which is greater: c or w?
w
Let y(v) = 375*v + 374. Let j be y(-1). Does j = 2/2599?
False
Suppose 3*m - 104 = -4*f, -60 = -m + 4*f + f. Suppose 4*o - 56 + m = 0. Let x be (o + 51/(-12))/1. Is -1 smaller than x?
True
Let j = -13214/246991 + 12/367. Is 0 > j?
True
Let z = -24262 - -46031. Let w be z/(-3388) + 2/(-8). Let s = 48/7 + w. Which is greater: s or 1?
1
Suppose -2*j + 20 = -7*j, 2*q = -3*j - 14. Suppose 4*r = 2*p - 56, r + 89 = 137*p - 134*p. Is p less than q?
False
Let g be ((-13)/3)/((-27)/(-81)) - -147. Are g and -3/5 equal?
False
Let n = 1816 - 1816.2. Is -41 smaller than n?
True
Suppose -1332*g - 91 = -1325*g. Which is bigger: 116 or g?
116
Let i be 1462/4284 - 1/18. Is i bigger than -5429?
True
Let d = -86 - -861/10. Let a = 978 - 967. Is a > d?
True
Let t be (-3)/(-2)*(1592/(-12) - 2). Let o = t + 24. Let r = 874/5 + o. Which is smaller: r or -1?
r
Let i = -3987 + 3888.2. Is 0 < i?
False
Let b = -981/44 - -358/11. Suppose -3*v - 30 = -3*x, -4*x + 61 = v + 16. Suppose -x*y = 4*y - 135. Is b > y?
True
Let l = 271.6 - 271.68. Which is smaller: l or -11.9?
-11.9
Let s be 6/33 + (-399)/77. Let u be -1949 - (0 - (s + 1)). Let q be 879/u - (-9)/21. Which is bigger: -1 or q?
q
Let s = 35 - 33. Let g(y) = 36*y**s + 4 + 0*y - 37*y**2 - 5*y. Let j be g(-6). Which is bigger: j or 6?
6
Let i = 4735 + -6386. Is -1652 not equal to i?
True
Suppose u + 3*u = 2*u. Suppose c = 3*f + 4, -5*f - 16 = -u*f + 3*c. Let i be 913/(-22)*(0 + 0 - f). Which is bigger: i or -84?
i
Let p(h) be the second derivative of 8*h**2 + 1/12*h**4 + 0 + 12*h + 5/6*h**3. Let j be p(-8). Which is greater: 39 or j?
j
Let t = 40/171 - 2/171. Let o = 622 - 334. Let j = 287 - o. Is j less than t?
True
Let j = 86 - 78. Suppose 2*f - j*f = -36. Let h = 19 - f. Which is smaller: h or 9?
9
Let v = 1 - 3. Let o = -29/4 - -3211/444. Let y = o + -208/777. Do y and v have different values?
True
Let k = 191 + -423. Let d = k + 263. Which is smaller: 29 or d?
29
Suppose 0 = -2*b - 5*f + 13179, b - 5*f = 453 + 6159. Suppose -2625 + b = -12*x. Which is smaller: x or -330?
x
Let u = 0.217 + -0.24. Let l = u - 0.127. Let m = l - 0.15. Do m and -0.1 have the same value?
False
Suppose -7*u - 1180 = -949. Which is smaller: -23 or u?
u
Let o be 1 + ((-157406)/56 - (3 - 3)). Let l = -2809 - o. Is 2 greater than or equal to l?
True
Let b = -43/2 + 227/10. Let n(h) = 9*h - 25. Let q be n(3). Suppose -85*y + q = -84*y. Is y != b?
True
Let x = 594 - 553.9. Let w = x + -46. Let v = 5.71 + w. Which is smaller: v or 2/9?
v
Let a(m) = -2*m**2 + 95*m - 150. Let l be a(46). Let n = 433/7308 - -50/203. Let b = n - 491/36. Are l and b equal?
False
Let u be 4/20 + (-51)/345. Let k be 4 - 57/19*(-4)/(-3). Is u less than or equal to k?
False
Suppose -18*z + 3*z - 6349 + 6364 = 0. Suppose 15 = -u + 6*u. Let d be u/(-12) + 77/340. Which is smaller: d or z?
d
Let j = 23.42 - 24. Let p = -0.58 - j. Let x = -0.34 - 0.03. Which is smaller: x or p?
x
Let k = -954.7 - -954.9. Which is bigger: k or -3?
k
Let j = -0.284 - -0.122. Let p = j - -0.142. Which is greater: -20 or p?
p
Let m = -3077.1 - -3077. Are m and -16390 equal?
False
Let b be (-4833)/(-6831) - (-3)/(-11). Let x(h) = h**2 + 6*h + 5. Let s be x(-5). Is s > b?
False
Suppose 14 = 4*t - 46. Suppose t = -4*h - 249. Let d be h/(-55)*(-5)/2. Which is smaller: d or -5?
-5
Suppose -2*x = 5*w - 59, 2 = x - 0*x. Let b = -229 - -231. Is w at most b?
False
Let n = -36.88 + 36.8. Suppose -l - 5*j + 3 + 3 = 0, 0 = 5*l + 5*j - 50. Is n at least as big as l?
False
Let o = -13 - -18. Suppose -4*z + 52 = o*n, 4*z + n = 2*z + 32. Suppose 4*i = -2*p + i - 15, -4*p - 2*i = z. Is p less than -3?
False
Let d = -1/2751 - -3445/1909194. Which is bigger: -1 or d?
d
Suppose -95*k - 53709 - 20011 = 0. Is k >= -776?
True
Let m = 64904 - 973027/15. Let t = -121/3 + m. Is t bigger than -4?
False
Let g(n) = 76*n - 2. Let v be g(1). Let q = v + -45. Suppose 3*s = -4*t - q, -3*t = 4*s + 22 + 19. Is -54/5 smaller than s?
False
Let m = -771 - -893. Let g = 124 - m. Is -10/7 not equal to g?
True
Suppose -578 = -4*i - 566. Suppose -4*y - 175 = -i*r, 200*r - 196*r - 204 = -2*y. Let d be 1/2 + (-202)/(-4). Is d bigger than r?
False
Let w = -11803 + 11811. Which is greater: w or -256?
w
Let y = 2773 - 2772. Is 2/13405 <= y?
True
Let m(k) = 91 - 13*k - 14*k + 44*k + 88 + 17*k. Let d be m(-6). Is d at least 4/9?
False
Let u be 1*0/((-8 - -6) + 3). Suppose 4*j - 2*v + 190 = 0, -2*v - 184 = 4*j + 10. Let w be (j/8)/(u - -1). Which is bigger: -4 or w?
-4
Let d = 2496 + 934. Is 2 less than d?
True
Let n = 4/9 + -25/36. Let l = -145 + 132.4. Let p = l - -7.6. Which is greater: p or n?
n
Suppose 0 = -v - 33*l + 28*l + 15, -105 = -3*v + 5*l. Suppose -25*m + 115 = -v*m. Which is smaller: 1 or m?
m
Let i = -0.0406 + 274.0406. Let a = i - 271. Is -17 at least as big as a?
False
Let f = -103 - -152. Suppose -2*g = 0, -2*v = -v - g + f. Suppose 52 = -y - 3*j + j, y + 4*j + 54 = 0. Which is bigger: v or y?
v
Let y be -9 + 8 + 2/(-1) - -7. Let i be (y/(-6))/(-1*8/60). Suppose 2*q + 3*w = 3*q - 1, 3 = q - i*w. Which is bigger: -8/7 or q?
-8/7
Let q = 11592.8 + -11588. Which is smaller: 33 or q?
q
Let z = 95/243 - 55/486. Let j = 0.6 + -0.3. Which is bigger: j or z?
j
Suppose 4*k + 3*y = 453, -4*k + 3*y - 5*y = -458. Let z be 558/(-91) - 18/k. Is z != -7?
True
Let p = 4174 + -7329. Which is smaller: -0.05 or p?
p
Let i = -721 - -744. Suppose 154 = 12*w - i*w. Which is greater: -16 or w?
w
Let m(f) be the first derivative of -7/2*f**2 - 18 - 8*f. Let i be m(8). Is i < 0?
True
Let r be (1 - 0)/(30/(-20)). Let j(b) = 3*b + 39. Let t be j(-12). Suppose -2*f + t*d = 7*d - 16, 4*d - 20 = 0. Which is greater: r or f?
r
Let h = 2191 + -1027. Which is smaller: h or -1?
-1
Let j = 30 - 6. Let s = j - 19. Let d be ((-15)/12)/s*2/(-1). Which is smaller: 0.22 or d?
0.22
Let y = -11/6 + 7/6. Let o = -212 - -232.4. Let i = o - 4.4. Is i < y?
False
Let j = 202 - 208. Let y be (9/45)/(j/(-30)). Which is bigger: 70 or y?
70
Suppose 1 + 71 = 9*o. Let i = 0 + o. Suppose -13 = q + i. Which is bigger: q or -23?
q
Let g be (4 - -18)/(6542570/(-1634695) + 4). Let s = -9489 - g. Which is smaller: -1 or s?
-1
Let j be -3*(-439)/(-278) - 243/(-54). Which is bigger: j or -1?
j
Let k(d) = 683*d**3 - d**2 + 4*d - 3. Let w be k(1). Is 685 equal to w?
False
Let f = -411 + 162. Let d = -9710/39 - f. Is 2/9 not equal to d?
True
Suppose 3*y = -4*z - 7, 2*z + 22*y + 49 = 27*y. Is z <= 2/1247?
True
Let x = 1.1 - 0.1. Let n be (-10506)/(-1133) + (4/(2 - 3) - 7). Which is smaller: x or n?
n
Let u(b) = 801*b + 149. Let p be u(-1). Which is smaller: p or -654?
-654
Let k = -161 + 163. Suppose -5*x + 2*g + 39 = 1024, k*g - 786 = 4*x. Is x > -200?
True
Let p be (1 + 0)/(10/(-466)). Suppose 77*a + 62*a + 1518 = 106*a. Which is bigger: a or p?
a
Let u be 278 + (-3)/((-21)/28). Suppose -x - c = -284, 8*x - 11*x - c = -846. Is x less than u?
True
Let q be 17/(-204) - (2/(33552/(-68518)) + 4). Which is smaller: -1 or q?
-1
Let z(u) = -371*u - 2. Let r be z(-3). Let c = r - 1105. Let a = 4607 - 41405/9. Which is smaller: c or a?
c
Let t = -51 + 45. Let g be ((0 - -3)/3)/(t/42). Let z(q) = -3*q + 7. Let d be z(4). Which is greater: d or g?
d
Let h(t) = 0*t**3 + t - 3*t**3 - 11 + 14*t + 2*t**3 - 15*t**2. Let j be h(-16). Suppose -5*s + j = 0, 4*s + 3 = -u + 6. Is u greater than -3?
True
Let v(x) = 2 - 44*x**3 - 8*x**2 + 2 + 46*x**3 - 2*x. Let d be v(4). Does 3 = d?
False
Let o = -10.957 + 10.997. Which is greater: 181 or o?
181
Let c = 28.42 + -29.42. Let v = 2.7 + 0.3. Let x = c + v. 