 h >= -2?
False
Let t(m) = 103 - 229*m + 114*m + 121*m. Let n be t(-18). Which is smaller: n or -4?
n
Suppose -1062*r + 1052*r = 0. Let h = 2770 - 47076/17. Which is greater: r or h?
h
Let h(y) = -76*y**3 + y**2 - 20*y - 55. Let l be h(-5). Suppose 10*c + l = -12*c. Is c < -436?
False
Let l be ((48*-1)/(-3))/(-12 + 14). Let q be 24/l + (-272)/92. Let w = 0 - -1. Is w greater than q?
True
Let h be 9*710/(-30)*(-1)/3. Which is greater: h or 73?
73
Let i = 8129 + -8129.027. Is -84 >= i?
False
Let v = 268 - 262. Let r be (50/(-6) - -3)/(v/216). Do r and -193 have the same value?
False
Let u = 0.22 - -1.82. Let i = u - 1.94. Is i > -45/2?
True
Let g be (-1)/95 + (-2)/10. Let d = 1716 + -1715. Is d at least g?
True
Let c = -8841 - -8843. Which is smaller: -3435 or c?
-3435
Let v be (3/(-12702))/((-2)/4). Which is smaller: v or -1?
-1
Let d = -6 + 20. Suppose 4*h = -g + d, -2*h + 4 = -2*g + 2. Suppose 8 = -l - l - 4*q, g*l - q + 18 = 0. Is l >= -5?
False
Suppose -4*s + 214 = -318. Suppose -14410 = -15290*i + 15180*i. Which is smaller: s or i?
i
Let u be 14/(-21)*(-114)/(-871264). Is u equal to 1?
False
Let m = -350.6078 - 0.4922. Let b = m - -351. Which is bigger: b or 161?
161
Let w = -3.86 + 341.86. Let r = w - 325.8. Which is smaller: r or -0.1?
-0.1
Suppose -4*j = -4, -2243 = -3*a - 3*j + 250. Is 830 >= a?
True
Suppose -2*i + 4 = -0*i. Suppose -r = 4*p - 2*r - 21, -i*p + 9 = r. Suppose 4*f - p*w = 2 - 4, 5*f - 3*w = -9. Is -13/8 less than f?
False
Let n be (-1*1 - 639/12) + (-2172)/2896. Which is smaller: -615/11 or n?
-615/11
Let o = -0.03073 + 13.73073. Is o equal to -0.18?
False
Let x = -14444 + 5733. Are x and -8711 equal?
True
Let f = -11 + 3. Let a be (-4)/f - 17/(-2). Suppose 68 = 5*u - 2*o, 3*u - 4*o = 37 + 15. Which is smaller: a or u?
a
Let o = 308 - 305.16. Let u = o + -2.748. Which is bigger: u or -2?
u
Suppose 2*a - 24 = 3*r, 0 = -5*a - r - r + 79. Let l be 1/5 - (-147)/a. Suppose 11*s = l*s. Do s and -14 have the same value?
False
Let w be ((-2)/(-10) - -1)*1*960/154496. Is w != 1?
True
Let i(j) = -j**3 - 14*j**2 + 244*j + 113. Let c be i(-27). Is c at least 3002?
True
Let o(v) = -2*v**2 - 2*v. Let r be o(0). Let t(f) = f**2 + 2. Let i be t(r). Which is bigger: -31 or i?
i
Suppose 179*x - 176*x = 9. Suppose 4*q + 16 = 4*p, -8 = 5*q + 2*p - x*p. Which is smaller: q or -15/7?
-15/7
Let z = -14.3 - -13.3. Let l = -12.8 - -4.7. Let t = 8.43 + l. Which is smaller: t or z?
z
Let s = -24727 - -98907/4. Is 4703 less than s?
False
Suppose -4*h - 5*o + 180 = -o, 3*h + 2*o = 140. Let v be ((-3)/(27/12))/(168/(-6426)). Are v and h unequal?
True
Suppose -14 = 17*n - 1442. Suppose 0*u + 3*x = 5*u - 140, n = 3*u - 5*x. Which is bigger: u or -10?
u
Let d be (-4)/(-8)*64*1. Let u be 12/d - 55683/648. Which is smaller: u or -85?
u
Let m = 12/53 - 4423/106. Let b = m - -49. Let i = 211 + -203. Is i bigger than b?
True
Let f be (-7 + (-2429)/(-343))/((-6)/7). Which is smaller: 138.6 or f?
f
Let u = -3265 - -3263. Is u greater than -30?
True
Let k = 65.74 - 97.1. Let a = 32 + k. Let b = 3.64 - a. Which is smaller: -4/11 or b?
-4/11
Suppose -2*k = p + k - 27, 4*k - 28 = -p. Let m be (p/(-56))/(8/252). Which is smaller: -15 or m?
-15
Let l(o) = -60*o**3 + 8*o**2 - 8*o + 3. Let t(a) = 40*a**3 - 5*a**2 + 5*a - 2. Let x(q) = -5*l(q) - 8*t(q). Let g be x(-1). Let m = g + -19. Is 10/7 > m?
False
Let v be 31/18 + (114/4)/(-19). Which is smaller: 1251 or v?
v
Let d = 2/293515 + -190491403/24655260. Let f = d - -50/7. Let a = f + -11/84. Which is greater: a or 0?
0
Let u be -4*(-2)/((-16)/(-12)). Let x be 4*(u/(-14) - 654/(-1428)). Which is smaller: -1 or x?
-1
Let d be 1/(15/10 + -1). Let r be (-6)/(((-21)/d)/7). Suppose -315 = -r*w - 43. Which is smaller: w or 69?
w
Let c = 6 + -1. Suppose -c*f - 9 = 2*q, -3 = 5*f - 2*q - 2. Is f at least -7/16?
False
Let m = 846 + -856. Is 2/379 less than m?
False
Let u(o) = -o**2 + 11*o + 9. Let q be u(-1). Let n be (132/(-88))/(q/386). Which is smaller: n or 191?
191
Let x = -14519 - -14519.1. Which is greater: 11893 or x?
11893
Let d = 12530.9 + -12520. Is 12 less than d?
False
Let t = 7.81 - 9.3. Let r = -1490 - -1489. Which is bigger: r or t?
r
Let r be (6 + -5)*(-51 + 51). Is r != -1/4082?
True
Suppose p - 1090 = -p. Let w be ((-99)/(-9) - 11)/(-9) - (-34)/3*48. Which is bigger: w or p?
p
Let w be ((-145)/261)/((-5)/6). Suppose 2*l + 5*r = -74, 2*l = 4*r - 0*r - 92. Let s = 30 + l. Which is smaller: w or s?
s
Suppose -l - 2*s = -9, 20 - 31 = -l - 3*s. Suppose -3*z - 3*n + l = -4, 4*z + 8 = n. Which is greater: z or -16/45?
-16/45
Let z(d) = -d**2 - 5*d - 16. Let y be z(-4). Let b(s) = 3*s + 36. Let r be b(y). Which is smaller: -15/11 or r?
-15/11
Let j = 1079 + -1083.1. Which is smaller: j or 0.52?
j
Let o be (-3520)/924*((-338)/(-1764) - (-8)/(-36)). Is 0 smaller than o?
True
Let n = 1.4845 - 1.4545. Let m be -4 - -5 - 14/6. Do m and n have different values?
True
Let a be (1/(-26))/((-101)/6 - (2 - -5)). Are a and 0 non-equal?
True
Let y = -180.2 + 185.2. Is y < -715?
False
Suppose -7*i + 29987 + 13594 = -3*d, 5*d - 5*i = -72595. Is d smaller than -14514?
False
Let w(k) = k**2 - 6. Let i be w(0). Let d be ((-4)/i)/(8/60). Suppose -d = 4*n - 53. Which is greater: 10 or n?
n
Let z(t) = 3*t - 35. Suppose 5*a + 37 = 2*h - h, -4*a - 32 = -h. Let s be z(h). Let x be -32*(-4 - (-2 - s)). Which is bigger: 30 or x?
x
Suppose -2*l + z = -18, l - 9 = -2*z + 6*z. Suppose 0 = -0*o - l*o - 3*o. Which is smaller: -287 or o?
-287
Let w = -1194 + 1153. Is 3/5 equal to w?
False
Let r = -102.54551 + 102.5. Which is greater: 0.3 or r?
0.3
Let j = -17453/26622 - -11/1479. Which is smaller: j or 0?
j
Let q be (3 + 7)*-1*6/(-15)*11. Let r(g) = g**2 - 7*g + 2. Let x be r(6). Let o be (86/x)/(1/(-2)). Which is smaller: o or q?
o
Let k = 770 - 1219. Let l = k - -448.72. Let z = -0.1 - 0.1. Which is bigger: l or z?
z
Suppose 3*p + 28 = -q, -2 + 6 = p - 3*q. Let v(f) = -f**2 - 11*f - 24. Let m be v(p). Is -29 >= m?
False
Let b(x) = 131*x**3 + x**2 - x + 1. Let q be b(1). Let f = -131 + q. Let h = -672 - -34941/52. Which is greater: f or h?
f
Let d be (8*-3)/(-4) + 1. Let f be (7140/(-18))/d + (-3)/9. Are -56 and f nonequal?
True
Let a(r) = 11*r**2 - 10*r**2 + 17*r - 1 + 3 - 5. Let k be a(-6). Let h = k + 71. Is 9/8 less than h?
True
Let i be (-20)/60 + (-3)/((-9)/703). Let r be (i/90)/((-2)/(-1)). Which is smaller: 1 or r?
1
Let w be 28/366394*((-16)/3 + 5). Is w > -1?
True
Let x be (346/3)/((430/(-903))/5). Which is bigger: -1205 or x?
-1205
Let g be (608/(-6759))/((-2)/(-5)). Let r = -21056/8470529 - 2/11279. Let p = r - g. Is p at most -9?
False
Let y = -136006/9849 - -948/67. Is y <= 0?
False
Let x = -8161/7 + 1168. Let j(k) = -208*k + 625. Let p be j(3). Is x <= p?
False
Let n be (-26818)/66 + (1 - 2). Let b = -734 - -330. Let d = b - n. Is 2 smaller than d?
True
Suppose 4*p = -c - 213, 0 = -3*p - c + 3*c - 146. Let n be (p/325)/((-16)/10). Suppose 4*l + j - 25 = 0, -2*l + 5*j - 12 = 3. Which is bigger: n or l?
l
Let s = 479 + -112. Which is greater: s or 366?
s
Suppose -4*o = -5*t + 6825 + 7069, -3*t - 17386 = 5*o. Are -3475 and o nonequal?
True
Let k = -2.06 + 0.06. Let u(g) = g**3 - 22*g**2 + 29*g - 29. Let x be u(21). Let r be -4 - (x/(-40) - 11/88). Do k and r have different values?
True
Let k = 16.8 + -25. Let m = 55.2 + k. Let v = -51 + m. Is 0.9 bigger than v?
True
Let m = -166 - -24. Let a = 141.9 + m. Let c = 51 + -75. Is a greater than or equal to c?
True
Let c be (5/(280/(-48)))/(182/(-34104)). Are c and 161 equal?
False
Suppose 2*g - 36 = z, -z + 5*g - 4 = 20. Let u = 44 + z. Let f be 1*(48 - u/(-4)). Is f less than 47?
False
Suppose -7927 = 35*q - 1032. Let s = q + 210. Which is greater: s or 27?
27
Let r(g) = -4*g**2 + 12*g - 21. Let q be r(15). Let k be ((-1486)/q + -2)*(-207)/(-138). Which is smaller: k or -1?
-1
Let h = 0.0151 + -2.9791. Let z = -128 + 127.964. Let f = z + h. Which is smaller: f or 6?
f
Let g(o) = -316*o + 1518. Let k be g(-1). Which is greater: k or -0.2?
k
Suppose -644 = 18*r - 194. Let v = -136 - -49. Let n = v + 60. Do n and r have the same value?
False
Let q = 0.04 + 0. Let t = -1.01 + 24.61. Let p = -21.6 + t. Which is smaller: q or p?
q
Let j(i) = -2*i**3 - 7*i**2 - 6*i. Suppose 5*z = 4*n - 8, -5