 - 3247. Which is smaller: 38 or u?
u
Suppose 0 = -4*c + 5*j + 4589, 3*c = -7*j + 10*j + 3441. Are c and 1146 non-equal?
False
Let l be (-92)/115 - 6/(-45). Is l < 118?
True
Let s = 178 - 131. Is s at most 47?
True
Let d = -5 - -3. Let f be 1*(d - -2 - 1). Let b = 1/1113 + -3341/2226. Is b != f?
True
Let v be 3/(27/2) + (-1121440)/5039514. Which is smaller: v or 0?
v
Let k = 267 + -248. Is 1/17 greater than k?
False
Let p(o) = -o**3 - 6*o**2 + 10 + 16 - 27 - 6*o. Let b be p(-5). Let m be 24/(-15) - b/10. Is -2 less than m?
False
Suppose s = -4*s - 5. Let o = 16.25 - 0.25. Let j = o - 15. Which is smaller: s or j?
s
Let a = 2.9 + -3. Let f = 552535/4 + -139809299/1012. Let m = -196/11 - f. Is a at most m?
True
Suppose -82*s = -80*s + 12. Let m = s + 2. Which is smaller: m or -18/5?
m
Let w(o) = -o**2 - o - 111. Let j be w(0). Let b = j - -157. Is 45 >= b?
False
Let o be 0 + (5 - (1 + 2)). Suppose -o*r = 3 + 15. Let n be 1/4 - r/12. Is -1/9 at most n?
True
Let y = 211 + -211.1. Is -4 != y?
True
Let s(g) = 2*g**2 - 27*g + 99. Let h be s(14). Does 116 = h?
False
Let r be (-102)/(-27) + (-2)/(-9). Let b be (1/2)/((-2)/r). Let x be 0 - (2 + -3)/b. Which is greater: 16 or x?
16
Suppose 0 = 4*i + 2*h + 6, i - 3*h - 122 + 113 = 0. Which is smaller: i or -36?
-36
Let w = -1 + -1. Suppose -11*j - 225 = -6*j. Let i be (-14)/20 - 9/j. Which is smaller: i or w?
w
Let z be (-3)/(-3) - 3*-4. Suppose -b = 2*p + 29, 2*p = -3*p + 3*b - 67. Let v be p*((-2)/2 + 0). Which is greater: z or v?
v
Let s(p) = p**3 - 16*p**2 + 49*p - 4. Let o be s(12). Let c = 26 + -20. Is o greater than or equal to c?
True
Let s = -91 - -63. Let p = 7 + s. Let u = p + 22. Which is smaller: u or 1/23?
1/23
Let p be (10/(-36))/(52/312). Let q(s) = s - 1. Let b(k) = k + 5. Let a be b(-5). Let l be q(a). Is l greater than or equal to p?
True
Suppose 132*f = 130*f + 304. Which is greater: 153 or f?
153
Suppose -12 + 4 = 4*f, 2*h + 10 = 2*f. Let t = 31 - h. Suppose 5*y + 4*b - t = 0, 3*y - 37 = -b - 10. Is 10 > y?
False
Suppose 0 = x + 3*c - 10, 5*c - 7 = -x + 7. Suppose -109 + 45 = x*h. Which is greater: 1 or h?
1
Suppose -4*m = 5*d - 4, 12 = 4*d + 5*m + 7. Which is smaller: d or -9/7?
-9/7
Let q = 15/4489 - -3245472/22445. Which is smaller: 144 or q?
144
Let v(n) = 4*n**2 + 36*n + 3. Let q be v(6). Which is smaller: 364 or q?
q
Let i = 0.4 + -1.6. Let a = -2.2 - i. Let m = 0.06 + 2.94. Is m greater than a?
True
Let p be 3 - (-144)/(-40) - (-3)/5. Let b be -15*4/(-20)*3. Suppose -b = f + 2*u, 5*u + 26 - 4 = -2*f. Which is smaller: f or p?
f
Suppose -4 = 4*u - 8. Let q(y) = -y**3 + 4*y**2 + y + 1. Let o be q(-4). Let t = 1123/9 - o. Which is bigger: t or u?
u
Let c be 6/(-24) - 2/16*-466. Which is smaller: 63 or c?
c
Suppose 10 = -b + 12. Suppose b*l + 36 = -q + 4*q, -4*l = 12. Is q equal to 9?
False
Suppose 8 = 2*a - 6*a - 3*s, 2*s = -8. Suppose a + 1 = 2*w. Is w > -2/11?
True
Let d be (-8)/(-36) - (148/(-90))/(-2). Let l(n) = -n**2 + 12*n + 5. Let a be l(12). Is d at most as big as a?
True
Suppose -3*m - 5*j + 2 = 0, 0 = -3*m - 4*j - 0*j + 7. Suppose -3*t + 6*t - m = 0. Let i be 10/3 - (-2)/(-6). Is i bigger than t?
False
Let f = 24.6 - 25.6. Is f less than -46?
False
Suppose -25*f + 2380 = -15*f. Is 238 bigger than f?
False
Let u = -391/8 - -49. Let z be 1 + -1 - (7 - 7). Is u bigger than z?
True
Let o = -545 + 544. Which is bigger: -4 or o?
o
Suppose 0 = -0*k + k - 6. Suppose -2*w + w = -k. Let c be 2/1 + 9 + -6. Which is bigger: w or c?
w
Let t be 6/15*1*420. Suppose -3*o - 9*o = t. Is o greater than or equal to -12?
False
Let b(w) = -19*w - 16. Let x be b(-5). Suppose 4*i = 4*k + 208, 3*i = k + x + 69. Let d be -1 + (-92)/i + 3. Which is greater: 1 or d?
1
Let g = 319 + -333. Are g and -12 unequal?
True
Let q = -606.55 + 607. Is q at least -4/7?
True
Let u be 0 + (-9)/(-266) + 433/6062. Let h(x) = -x + 1. Let l be 1 + 0 + 1/(-1). Let z be h(l). Are u and z nonequal?
True
Suppose -3*u + 200 = -i, -69*i = -73*i + 2*u - 800. Which is smaller: i or -202?
-202
Let p(a) = 16*a**2 - 2*a + 2. Let b be p(1). Suppose -8*x + 4*x - b = 0. Let i be 0/(-2*(2 + -3)). Which is smaller: x or i?
x
Suppose 17 + 4 = -3*t. Let h = -2334 + 2337. Is h != t?
True
Let z = -2/3411 - 27262/44343. Let v = z + 149/52. Are 1 and v equal?
False
Let b = -7/6 + 79/78. Suppose -6*c + 2*q = -10*c + 4, -5 = -5*c - 4*q. Which is greater: c or b?
c
Suppose -4*f + 2*v = 74, -3*v - v - 62 = 2*f. Let b be ((-4)/(-3) - 0)/(14/f). Which is smaller: -3 or b?
-3
Let r = 29.5 - 22.5. Is r equal to 23?
False
Let s be 234/(-24)*(-9 + 1). Suppose -7*z + s = -z. Do 11 and z have the same value?
False
Suppose -4*l - 4 = -3*x - 5, 4*x = 3*l - 13. Let c be (-14)/(-20) - (-7)/x. Let r = 0.02 + 0.08. Is r != c?
True
Let u(m) = m + 15. Let i be u(-13). Let y(j) = 9 + j**3 + 4 - j - 16 - 2*j**i. Let o be y(3). Which is smaller: o or 20/9?
20/9
Let v(p) = -2*p - 3. Suppose 3*f + 0*l - 3*l - 6 = 0, -5*l = f + 10. Let j be v(f). Let b = 7/2 + j. Is b greater than or equal to -0.2?
True
Let r = 1.98 + -2. Let m = -1.22 - r. Let t = m - -1.2. Which is smaller: t or 5?
t
Let w(j) = 22*j. Let n be w(2). Let p be (-42)/(-1) - (0 - (-1 - -2)). Is p smaller than n?
True
Let h = -6/7 + 29/42. Let r = 97 + -289/3. Is h equal to r?
False
Let r = 288 + -424. Let t = 131 + -267. Are t and r nonequal?
False
Let f(p) = -3*p - 1. Let w be f(1). Let d(y) be the first derivative of y**4 - y**3/3 - y**2/2 + 21. Let a be d(-1). Is w < a?
False
Suppose -2*g = -0*g + 14. Suppose 0 = 2*t - q - 34, -4*q + 123 = 5*t + 25. Suppose -5*s + 5*m - 22 = t, -s = -2*m + 8. Which is smaller: s or g?
s
Let k = -143 + 144. Let f be k/1 - (-28)/(-52). Is -1 less than f?
True
Let d be 25/(-5) - 86/(-20). Is d equal to 0?
False
Let a be ((68/8)/(-17))/(6/16). Which is smaller: a or -21?
-21
Let j = -67 + 40. Are -3 and j unequal?
True
Let n be ((-16535)/156)/5 + 2. Let o = 77/4 + n. Suppose 4*h - 12*h = 8. Which is smaller: o or h?
h
Let s = -138 + 14. Is s equal to -124?
True
Suppose -3*y = -4*r - 218, -3*r = -4*y + 175 + 111. Let j = 212/3 - y. Which is bigger: j or -0.9?
j
Suppose 3*k - 86 - 31 = 5*u, 3*u = -4*k - 47. Let f be u/(-6) + (-1)/(-2). Suppose f*n + 1 + 3 = 0. Is n < -2?
False
Let a = 0.0335 - -0.0665. Which is smaller: -9/11 or a?
-9/11
Let n be 1/(1 - (-7)/(-6)). Let f(d) = -d**3 - 6*d**2 - d - 1. Let g be f(n). Suppose -l = -g*l. Is 0 equal to l?
True
Suppose 3*v = 4*p + 24, -4*p + v = 11 + 5. Let h be (0 - p) + 1092/(-363). Which is smaller: h or -1?
-1
Let n = 92 + -94.3. Let y = -2.3 - n. Which is smaller: y or -2/89?
-2/89
Suppose 2*g - 6*o + 3*o + 11 = 0, 5*g + 8 = o. Are 1/83 and g equal?
False
Let a be (-2)/(3 + ((-140)/(-315))/((-2)/19)). Let w be (1 + -1 + -3)*-1. Which is greater: a or w?
w
Let c = 39 + -95. Let g = c + 38. Is -18 < g?
False
Let s(q) = 5*q**3 - 3*q**2 + 8 - 4*q**3 - q - q**2 - 5. Let w = 64 + -60. Let t be s(w). Is t at least 1?
False
Let x be 18/(25*(-20)/(-175)). Which is smaller: x or -1/4?
-1/4
Let p = 998 + -375. Which is smaller: p or 622?
622
Let m = 83 + -184. Are 1 and m unequal?
True
Suppose 0 = -p - 0*p + 3*u, 0 = p - u - 4. Let z be (1/p)/((-57)/38). Let f be 1*(4/2 + -3). Which is smaller: z or f?
f
Let h = 113/44 - 9/11. Suppose -2*m + 0 - 3 = -3*q, -5*m = 0. Are q and h equal?
False
Let r = 968 + -836. Is r equal to 130?
False
Let y(p) = 5*p - 22. Let o be y(-10). Let j be (8/o)/(2/4). Let a = 0.09 - 0.29. Which is smaller: j or a?
j
Let m = 2040/77 - 282/11. Let o be (-6)/(-15) - (-24)/15. Is o less than or equal to m?
False
Suppose 0 = -w - 5*q + 5, 0 = -w + 4*q + q - 15. Let b = w + 7. Suppose 5*f - 4*g + 15 = 0, -f + g + b*g = 3. Do f and -2 have the same value?
False
Suppose 0 = -4*d + n - 26, -2*d = 4*n - 13 + 35. Suppose -4*z - 40 = -0. Which is smaller: d or z?
z
Let p be 16 + -18 - (2/(-1) + 43). Which is smaller: 0.2 or p?
p
Let x = 49.7 + 14.3. Let v = x - 59. Which is bigger: v or -1?
v
Suppose 2*d = -5*p - 18, 5*d + 23*p - 28*p - 25 = 0. Let k = 211 + -16248/77. Is d at most k?
False
Let m be ((-2)/4)/((-1)/8). Suppose -m*f - 7 = 3*f. Is 2/71 at least as big as f?
True
Suppose 17*c = 12*c + 25. Suppose -c*r + 20 + 5 = 0. Suppose o - z + 1 = 0, 0*o + 2*z = r*o - 7. Is o > 1?
True
Let a(v) = -35*v**2 + 4*v**