= -28 + h. Let n = 166 - 176. Which is greater: n or o?
o
Let n(p) = -3*p**3 + 4*p**2 - 4*p - 13. Let l be n(-2). Is 44 < l?
False
Let f = -0.1 + -0.4. Let j = f + -9.5. Let y = 9 + j. Which is bigger: 2 or y?
2
Let u(x) = -x**2 - 2*x + 2. Let h be u(-3). Suppose -2*o = -3*a + 968, 5*a + 0*o - 1612 = 2*o. Let m = -2894/9 + a. Which is smaller: m or h?
h
Let q = -33 + 15. Let g = q + 35. Let p = 14 - g. Does p = -1?
False
Let s = 32 - -8. Let u = 51 - s. Which is smaller: u or 21/2?
21/2
Let x = 2653/15 + -177. Let a be ((4 - 2) + -2)/1. Is x greater than a?
False
Let r = -303 - -79. Is r >= -223?
False
Suppose 10*j = 13*j - 39. Suppose 164 = -4*g + 3*o, -4*g + j*o = 8*o + 164. Which is smaller: g or -42?
-42
Let f = 150 + -168. Which is greater: -13 or f?
-13
Suppose -2*z + 7 = 9. Which is smaller: z or 11/82?
z
Suppose -4*k - 7*j + 3*j = -8, 3*j - 20 = 4*k. Is -95 > k?
False
Let w be 1025/(-100) - (-15)/(-20). Do w and -19 have the same value?
False
Suppose 5*g - 26 - 19 = 0. Let c = 3 - g. Let k be c/45*9/4. Which is smaller: 1 or k?
k
Suppose -4*o - 1290 = o. Let l = -9547/37 - o. Which is greater: l or 1?
1
Suppose r + 0*r = 2. Suppose -3 - r = -z. Let n be (-8 + z)/((-1)/(-3)). Is n at most as big as -8?
True
Suppose -5*m + 8 = -x, m + 2 - 6 = -x. Let f = x - 1. Is 1/2 greater than or equal to f?
False
Let x = 0.0244 + 0.0756. Which is smaller: x or -140?
-140
Let g = -68 + 131. Is 62 at most g?
True
Let f be ((-70)/3)/(11/(-99)). Which is smaller: 209 or f?
209
Let z = 609 - 611. Are z and -17/9 non-equal?
True
Let n be (2 - 10/4)/(15/120). Let j be (n - -1 - (-7)/2)*2. Let c = 0.6 - -0.4. Is j > c?
False
Let t be (1380/1400)/(3/5). Is 1 greater than t?
False
Let f = 20 + -20. Suppose 0 = 4*t + 20, -7 = -h + t - f. Suppose 0*o + r + 3 = -o, -o = h*r + 4. Which is smaller: -2/3 or o?
o
Let x = -1/70 + 913/210. Let q = -10849 - -10853. Which is smaller: q or x?
q
Suppose 44*w = 9*w + 140. Is 11 at most w?
False
Let d = -33/145 + -5/29. Let c = 310 - 309.92. Which is greater: d or c?
c
Let l = -206 + 9887/48. Which is greater: l or 0?
0
Let x be (-1)/3 - (-74)/(-30). Suppose -2*m = 5*l + 11, 9*m - 7*m + 9 = -3*l. Which is greater: m or x?
x
Let r be (-1)/(358/(-90) + 4). Let m be (-133)/r - (-12 - -15). Let u(h) = -h**3 + 2*h**2 + 3*h + 1. Let i be u(3). Are i and m equal?
False
Let g = -6 + 11. Suppose -7*p + 3*p - 2 = -g*q, 0 = q + 5*p + 17. Let u be (0 - q) + 312/(-153). Is 1 greater than u?
True
Let c be ((-243)/(-60) - 4)/(4/(-10)). Let p = -1 + 4. Suppose 0*n - 3*n + 6 = p*q, 4*q + 2*n - 4 = 0. Is q at most as big as c?
False
Suppose 2632 + 633 = -b. Let t be b/(-730) + -5 + 2/4. Are -3 and t non-equal?
True
Let s be 20/9*(7 - 8). Does s = 0?
False
Let z = 2455/21 + -179/7. Does 92 = z?
False
Let w be 2 + (-1)/2*-198. Which is smaller: 100 or w?
100
Suppose -a - 4*z - 104 = 0, z - 271 = 4*a + 77. Let m = a + 33. Let i be ((-44)/m)/(2/(-10)). Is i bigger than -4?
False
Suppose g - 6 = -3*d + d, 3*g + 3 = d. Are 2/431 and g equal?
False
Let y = -7 - 0. Which is greater: y or -1/2?
-1/2
Suppose 5*o - 52 = 23. Is 9 at least o?
False
Let z(r) = r**3 - 10*r**2 + 3*r + 5. Let q be z(4). Let y(j) = -14*j + 49. Let h be y(9). Are h and q non-equal?
True
Suppose -15*u = -646 - 1049. Let j = u - 112. Let v = 1075/462 + 1/154. Which is smaller: j or v?
j
Let x(c) = -c**2 + 6*c - 4. Let l be ((-12)/18)/((-3)/18). Let w be x(l). Is 4 at most as big as w?
True
Let z be -4 + (-1)/((-3)/312). Which is bigger: z or 98?
z
Suppose 2*p + 4*p + 114 = 0. Let r = -27 - p. Suppose 0 = 2*t - 3*b + 16, 4*b + 23 = -5*t - 17. Are t and r non-equal?
False
Let m = -6 - -5. Let k = 277608853/711 + -390448. Let v = k - 1/79. Are m and v nonequal?
True
Suppose 0 = u - 1, -4*p + 3*u - 22 + 7 = 0. Let o be (p - -1) + 140 + 5. Are 143 and o unequal?
False
Suppose -5*h - 48 = 17. Let y(g) = -g**3 + 3*g**2 + g. Let f be y(4). Let w = h - f. Which is bigger: 2/21 or w?
2/21
Let m be (9/(-6))/((-10)/160). Is 28 equal to m?
False
Let d be 4/(-18) + 25/(-9). Let t(s) = -s**2 + 17*s + 21. Let r be t(18). Suppose -n = -2*l - 4, r*l + 29 = -2*n + 9. Which is bigger: d or l?
d
Let v = -146 - -163. Which is smaller: v or 0?
0
Let o = 3.51 + -1.51. Which is greater: o or -73?
o
Let u = 71 - 44. Let c = u + -26. Let m(y) = y - 5. Let a be m(6). Is c bigger than a?
False
Let g = 3 - 9/2. Let v = g + 2. Suppose -8 = 4*o - 8*o. Is v greater than o?
False
Let a(k) = -8*k. Let v be a(1). Let t = 4 - v. Suppose 15*y = t*y. Which is smaller: y or -2?
-2
Let h be ((-3)/(-12))/(11/(-44)). Let l = 22431/28 + -801. Is l <= h?
False
Let q be (-2)/2 - (440 + 17). Let o be (-462)/q + (0 - 1). Which is greater: 1 or o?
1
Suppose -5*z - 149 = -4*g - 4*z, z = 3. Suppose -q = -g + 15. Is q smaller than 23?
False
Let s be 15/20*(-4)/(-7). Let f(k) = -k**2 - 9*k + 2. Let v be f(-5). Let h = 22 - v. Which is bigger: h or s?
s
Suppose 3*v = r + 97, 3*r - 50 - 22 = -2*v. Are v and 30 equal?
False
Suppose -11*a + 50 - 6 = 0. Suppose 4*r + a*r - 8 = 0. Do 2/35 and r have different values?
True
Let x be (16/(-4))/((-4)/3). Suppose -7 = -5*c + 3. Is x at least c?
True
Let n be (27/(-12))/((-954)/12). Let x = 227/530 - n. Is 20 at least x?
True
Let t be (-64)/(-2) - (25 + -24). Is t smaller than 92/3?
False
Suppose 3*c - 4 = -2*c - z, 3*c + z = 2. Let i be (-3875)/3937 - (-4)/(8 + -4). Is i less than or equal to c?
True
Let l = -337 - -603. Suppose l = 2*s + 308. Is -22 less than or equal to s?
True
Let d = 250.24 - 250. Is d != -34?
True
Let v = -4/47 + 431/94. Suppose -2*y = -7*y + 30. Do v and y have the same value?
False
Let x = -239 + 238.1. Which is smaller: -9 or x?
-9
Let g(c) be the second derivative of -c**3/6 + 11*c**2 - 7*c. Let s be g(18). Let t be -34*(18/s)/(-9). Is 17 <= t?
True
Suppose 339 = 3*z + 312. Which is smaller: z or 13?
z
Let f(q) = 16*q + 91. Let k be f(-15). Is k greater than or equal to -150?
True
Suppose -3*x + 84 + 318 = 5*n, -2*x + 86 = n. Let q be (4/n)/(1/(-18)). Which is bigger: -2 or q?
q
Let u(j) = -j**2 + 7*j - 4. Let b be u(6). Let r be -2 + b - 9/(-5). Let s = 0.5 - 1.5. Which is smaller: s or r?
s
Let s = 9 + -2. Let y = 117 - 166. Let d be (3/s)/(56/y). Which is bigger: -1 or d?
d
Suppose 12*u - 16 = 8*u. Is 40 at least as big as u?
True
Let p be -28 - (-3)/(3/2). Which is bigger: p or -30?
p
Let y be 3/(-6)*-1*-8. Let k be (y/18)/((-21)/(-315)). Is k not equal to -4?
True
Let b = 17 + -3. Let q = b + -14.2. Let w = -0.3 - q. Which is greater: w or -3?
w
Let i be 3/(-283)*8/(-6). Is i at most as big as 1?
True
Let r be (-2)/(-2)*(-3)/63. Suppose 9 = 2*w - 45. Let c = w - 28. Are c and r equal?
False
Let h be (-6)/(-9)*(-45)/6. Which is greater: -53 or h?
h
Let t = 603 + -490. Which is bigger: t or 2?
t
Suppose c - 13 = 2. Suppose 107 = t + 43. Suppose -5*v + t = -11. Are c and v non-equal?
False
Let q(d) = -21*d + 95. Let u be q(9). Which is bigger: -92 or u?
-92
Suppose 0*q - 5*q - 5 = 0. Let a be ((-30)/20)/(1/2). Let h be (a - 14/(-6))/6. Is q >= h?
False
Let f(d) = 2*d - 21. Let l(m) = -m**3 - 12*m**2 + 13*m + 7. Let h be l(-13). Let w be f(h). Let r be -2 + -1*4/(-2). Is w < r?
True
Let j be 3 + (-6)/(4/2). Let h be (-6)/(-7)*210/690. Is h less than or equal to j?
False
Let s = -3 - -4. Let n(q) = -11*q**3 - q + 2. Let t be n(s). Which is bigger: t or 0?
0
Let i = -0.065 - 0.175. Is 4 smaller than i?
False
Let v(y) = -45*y + 45. Let i be v(-5). Which is greater: i or 267?
i
Suppose 4*q - 100 = -0*q. Let f = q + -25. Is f smaller than -3/37?
False
Let n = 5/144 + -703/1584. Is n not equal to 0?
True
Suppose u = -3*u + 12. Let k be u*(-2)/28*44/66. Which is smaller: k or 0?
k
Let x be (-7)/((-21)/12)*1/2. Let g be -27 + (0 - (x + -4)). Is -26 bigger than g?
False
Let y be (5/(140/8))/2. Suppose -5*i - 2*k - 3 = 0, -5 + 0 = 3*i - 2*k. Do i and y have different values?
True
Let i = -1440 + 1440.09. Which is greater: i or -3/7?
i
Let h(v) = 2*v**3 + 10*v**2 + 9. Let d be h(-5). Is 18 smaller than d?
False
Suppose 79 - 19 = 3*a. Let c be 8/12 + 2 + 2/(-3). Suppose -2*k = -2*t + 32, -c*t + 11 = -k - 24. Which is greater: a or t?
a
Let s = 57 + -89. Let k be s/(-72)*(-3)/5. Which is bigger: 0.2 or k?
0.2
Suppose 4*g = 5*a - 1 - 6, 0 = 2*a + 2. Which is bigger: -2 or g