 + 5*b + 33 - p = 0, -3*f - 4*b = -20. Let l be -54 - 0*2/f. Is -54 != l?
False
Let r = -19779/46 + 430. Suppose -3*p + 2*j - 7 = 11, 2*p = -j - 19. Let y = p - -8. Is r at most as big as y?
False
Let t(z) = 3*z**2 - 113*z - 32. Let y = 220 + -182. Let l be t(y). Let x = -9 - -15. Is l greater than x?
False
Let b(a) = 3*a**2 - 152*a - 103. Let p be b(-23). Do p and 9961/2 have the same value?
False
Let d = 25 - 5. Suppose 0 = -7*h + 4*h - 5*m - 38, 4*h - m = -d. Is h less than -6?
False
Suppose -3*x = 9*x - 3675033648. Let g = x - 76870790377/251. Let q = g + 5325. Which is bigger: q or -1?
q
Let m(l) = -7*l + 32. Let p(t) = 14*t - 63. Let r(b) = 11*m(b) + 6*p(b). Let a be r(7). Does 22 = a?
False
Suppose 0 = 5*m + x + x + 295, 0 = 3*m - 2*x + 193. Let o = m + -8. Is -69 < o?
False
Let n = 976758/5 - 195352. Let h = -29.6 + -132.4. Which is smaller: n or h?
h
Suppose -54*d + 37*d = -85. Suppose 1 + 11 = 3*c. Let h be 0 + (3 - -5)/c. Are d and h equal?
False
Suppose -h = -0*h. Let p be (-24)/890*(-10700)/4280. Is h > p?
False
Let a = -34803 - -34471. Which is greater: a or -318?
-318
Let q be 1934/20*(-255)/34*(-8)/3. Is q at most as big as 1937?
True
Let v(t) = -t**3 - 9*t**2 - 14*t - 1. Let a be v(-7). Let q = 576 - 38594/67. Are a and q unequal?
True
Let f(p) = -17 + p**2 + 3*p**2 - 3*p**2 + 3*p - 8*p. Let y be f(7). Let i be ((-34)/y)/(4 - (-20)/(-9)). Is i > 6?
True
Let k be 35/(-175) - (-3 + (-100)/(-34)). Suppose 0*t - 2*t = -2. Is k equal to t?
False
Let q = -74497 + 121951585/1637. Which is smaller: q or -1?
-1
Let m = 0.605 + -0.505. Let s = 68.9 - 571.9. Which is smaller: s or m?
s
Let z(h) = -11*h**2 + 4*h - 2. Let i be z(2). Let o = i + 73. Let r = 43 - o. Which is greater: 9 or r?
9
Let t = -9.313 - -9.413. Which is bigger: 3271 or t?
3271
Let s be 3*-3*65/(-15). Let y = -75 + s. Let z = y + 38. Which is bigger: 0 or z?
z
Let p = 11594 + -11576.197. Let s = p + -0.103. Which is bigger: s or -2/7?
s
Suppose -o - 81 + 83 = -3*m, -2*m - 6 = 4*o. Is m != -17/193?
True
Suppose 11*w + 84 = -9*w + 64. Let j(o) = -114*o**2 - 4*o. Let a be j(-3). Let k be (0 + -3)/(a/4). Which is smaller: k or w?
w
Let t be ((-52)/(-28) + -2)/((-4)/(-112)*-2). Are -1049/5 and t unequal?
True
Let v = -20826 - -20795.2. Is 0.4 greater than v?
True
Let c be (-19)/2 - 3340/(-334). Let i be (-161)/35*5/3. Is i greater than or equal to c?
False
Let m(d) = -80*d - 6048. Let w be m(-83). Is w greater than 593?
False
Let o be ((-1075)/6)/((-283)/1698). Which is greater: 1071 or o?
o
Suppose -3*o + 7*o = -16, 44 = 5*j - o. Let l be 0 - 26*(-1 + (-10)/(-8)). Let t = l + 41/6. Which is bigger: t or j?
j
Let h = 58370/209 + -5334/19. Which is smaller: 0.212 or h?
h
Suppose -2*m + 5*h - h + 398 = 0, -4*h = m - 187. Suppose 4*s - 207 = -m. Let n be 5/10 - (-1 + 0). Is n greater than or equal to s?
False
Let m be 8/(-6)*(-1 + -11). Suppose -5*l + 13 = -3*t + t, 4*t = -m. Let j(i) = -2*i**3 + i. Let r be j(l). Is 1/22 at least r?
True
Let q be ((-11)/3)/(15/(-45)). Let k be q/22 - (-6)/(-28). Is k >= -2?
True
Let p = -15427 + 15211. Is p >= 28?
False
Let f = 45983869/113205 + 2/113205. Let w = -408 + f. Which is bigger: -1 or w?
-1
Let i(k) = -6*k**3 + 2*k**2 + 20. Let g be i(4). Let t = -423 - g. Which is smaller: -88 or t?
t
Suppose -3*f + 252 = -6*f. Let m = 133 + f. Suppose v - 5*l = -3*v + 7, m = 3*v + 5*l. Which is bigger: v or 9?
9
Let j be (-4)/(-12)*(-18)/111. Let s = 23.586 - 0.186. Let k = s + -23.4. Is j > k?
False
Let h(z) = z**2 - 426*z - 1273. Let a be h(-3). Let r be 1*(3 + (1 - -1)). Suppose -15 = -r*n + 10. Which is smaller: a or n?
n
Let k be (4/(-40))/(10955/20). Which is smaller: 0 or k?
k
Suppose 0 = 39*k + 792672 + 25236. Is -20972 > k?
False
Let s = 1873/1794 - 63/299. Suppose 0 = 3*t - 7 + 1. Is t >= s?
True
Let l be (-164)/6*(6/15 + (-817)/430). Which is bigger: 35 or l?
l
Suppose -4*d + 84 = -12*u + 14*u, d + 155 = 5*u. Do 426/13 and u have different values?
True
Let w(b) = b**2 + 10*b + 7. Let o be w(-10). Suppose 0 = -o*d - d + 16. Is 13/23 at least d?
False
Suppose -5*u - 4*i = -10 - 15, -7 = 3*u - 2*i. Let a = 366268957/334601 + 3702/8161. Let h = a + -1095. Which is smaller: u or h?
h
Let m = 92 - 89. Suppose 0 = -d + 4*g - 146, -2*d - 3*d + m*g - 679 = 0. Which is bigger: -132 or d?
-132
Let f = 610349/13 + -46988. Do f and -37 have the same value?
False
Let w be (-1152)/(-320)*575/3. Are w and -4 unequal?
True
Suppose 0*a = 2*a. Let t be ((-1543)/(-80236))/(2 + ((-2)/12)/(8/106)). Which is smaller: a or t?
t
Let l be 6/(-4) + ((-282)/(-12) - -5). Let p = l + 293. Which is smaller: p or 321?
p
Let n = 151.6 + -168. Let a = n - -16.4. Let y = -397/24255 - 2/495. Which is greater: y or a?
a
Let s = -0.9049 + 0.0249. Let w = -363.12 + s. Which is smaller: w or -0.1?
w
Suppose -3*r = w - 6, -260 + 266 = 5*r + w. Which is smaller: 1/158 or r?
r
Suppose 3 + 1 - 4 = 15*u. Is u at least 31/40?
False
Let y(r) = -39*r - 674. Let u be y(-20). Which is bigger: 0.06 or u?
u
Let b = -30 - -42. Suppose -4*w = 4*h + b - 40, 0 = 3*h - w - 13. Do h and -2.7 have the same value?
False
Let b = 0.2419 + 50.7581. Which is greater: -0.3 or b?
b
Let m(g) be the first derivative of -g**3/3 + 9*g**2/2 - 15*g + 1. Let k be m(6). Suppose 0 = k*w - 4*w + 2, 0 = 4*h + w + 42. Is -11 greater than h?
False
Let g = -2 + 1. Suppose 5*o + 2*q - 7 = 20, -4*o = -5*q - 15. Suppose -4*n + 73 = f, 83 = o*n - 225*f + 229*f. Which is smaller: n or g?
g
Suppose 3*d + 9*d - 1176 = 0. Suppose -3*y + d = 2*x, 0*x = 5*x - 5. Let v be 4/(-10) + y/(-220). Is v greater than or equal to 0.2?
False
Let u(w) = -w**3 + 11*w**2 + 9*w - 17. Let j be u(12). Is j at most as big as -30?
True
Let n = 12 + -182/15. Let w be 15/(-50)*(-112)/12. Let c = w + -12/5. Is c less than n?
False
Let i(x) = -94*x**2 + 8*x + 3*x + x**3 + 22 + 104*x**2. Let q be i(-9). Let t be 64/(-264)*(-3)/q. Is t at least 0?
True
Suppose w - 27*l + 22*l = 36, 270 = 3*w + 3*l. Let v(j) = 14*j - 3. Let n be v(6). Is n at least w?
True
Suppose -2*j = -4 - 14. Suppose -14*k + 85 = -j*k. Is k less than 6?
False
Let a be (0/61)/((-11)/(-11)). Which is smaller: 8/2149 or a?
a
Let j(o) = o**2 + 9*o + 12. Let q(k) = -k - 23. Let d be q(-16). Let a be j(d). Which is smaller: 2 or a?
a
Let c be 103/50 - (-15 - -17). Let a = 186 - 102. Let l = 83 - a. Are l and c nonequal?
True
Let z = -1435 - -2623. Suppose -11*x + z = x. Let v = 90 - x. Is v at least as big as -29/3?
True
Let q(s) = s**3 + 12*s**2 + 10. Let t be q(-12). Suppose 5*b + 20 = -4*a, -t = -3*b - 2*b + 2*a. Let l be (56/63)/(2/(-3)). Which is greater: l or b?
b
Let j be 72/48*124/(-6). Let x = j - -838/27. Which is bigger: -1 or x?
x
Suppose -366*j = -374*j + 8. Let u = 2732586/785 - 3481. Is u bigger than j?
False
Let o = -8282 + 8319. Which is smaller: -9 or o?
-9
Suppose d = -d - 4. Let t be (21 - (2 - d)) + 1. Let b(f) = -f**3 + 18*f**2 + f - 17. Let g be b(t). Which is bigger: g or 6/7?
g
Let k = -192/1675 + -14107949/5025. Which is smaller: -2808 or k?
-2808
Let g(n) = -883*n - 14066. Let j be g(-15). Which is bigger: j or -813?
-813
Let l = 1502/11 + -100766/737. Let t = -74/335 + l. Let a(x) = x**3 - 2*x**2 - x. Let q be a(3). Which is greater: t or q?
q
Let h = 194 + -326. Let z = h + 527/4. Which is smaller: 17/2 or z?
z
Let i be (-2008)/(-4518) + ((-328)/9 - 0). Which is smaller: -110 or i?
-110
Let l = 125 + -65. Let m be ((l/(-14))/(-5))/(-2). Let g = -6114 - -6113. Which is smaller: g or m?
g
Suppose -86 = 36*f - 50. Suppose 2*n - 3532 = 4*s, s - 5*n = -0*n - 865. Let c be -4 + 1 - s/285. Which is bigger: c or f?
c
Let v = -687 + 708. Let o be 15/v + 16/56. Which is smaller: 2/45 or o?
2/45
Let y = 0.4 + 18.6. Let a = -24 + y. Let d = 5.97 - 1.97. Are d and a non-equal?
True
Let r = -2068 + 2073. Which is smaller: 0.19 or r?
0.19
Let x be (60/12)/(2/26). Let f = x + -57. Suppose 0 = 7*v + 9 - 30. Are v and f unequal?
True
Let w be (-24)/60 + (-6)/10. Is w at least -1/1577?
False
Let h = 2639 + -2638.9. Let b = -8.2 + 8.83. Let l = b + 35.37. Which is smaller: h or l?
h
Let w = 51.5 + 16.5. Let h = 67.2 + -0.2. Let b = h - w. Is b bigger than -20?
True
Suppose 10*o = -202 - 318. Let c = o + 53. Is 1/111 not equal to c?
True
Let d be (42/(-4))/((4/(-72))/(40/