43). Does r = h?
False
Let t = -628 - -630. Let o(r) = r**3 + 5*r**2 + 3*r - 1. Let h be o(-4). Suppose -h = -5*n - t*f, -5*n = -4*f + 8*f - 1. Which is greater: -2/151 or n?
n
Let v be (3 + 10 - 3) + -8 + (-1133 - 0). Is -1131 <= v?
True
Suppose 8*j + 57532 = -175*j + 2998. Is j smaller than -7?
True
Let c be (-1)/(-11)*2145/780. Do c and -0.1465 have the same value?
False
Let d be -3*(-1 - 5/(-3)). Let u = -43160/8127441 - -9/1633. Let q = -149323/64701 + u. Are q and d equal?
False
Let t = -0.0137 - 2.3503. Let d = t - -0.364. Let h = 0.8 + 0. Is h less than d?
False
Let u be 15/2*(-12)/(-9). Let i be ((-378)/(-35))/(-9)*u*1. Which is greater: -10 or i?
-10
Let x be 354 + 7237 + (0 - 12). Is 7579 greater than x?
False
Let v be 0 - (1512/49 + 14). Which is greater: -44 or v?
-44
Let b = 88 + -89. Suppose 4*h + 0*h = 64. Let m(p) = -2*p + 32. Let s be m(h). Is b != s?
True
Let d(a) = 23*a**3 - 3*a**2 + 2. Suppose -59*w + 55*w = 8. Let f be d(w). Do -195 and f have the same value?
False
Let w = 6741 - 6741.2. Which is smaller: w or -0.217?
-0.217
Suppose 62 = 7*g - 582. Let o = 4326/47 - g. Which is bigger: o or -1?
o
Let h = 23898 + -23899. Let v be 0/(-2) + (-28)/16. Which is smaller: v or h?
v
Let m = -9.9 - -75.9. Let h = m + -71.1. Let a = h - -5.4. Which is bigger: a or -0.08?
a
Let z = 39284 + -153403/4. Is z <= 934?
True
Suppose 47*c + 1864 = 8143 + 9983. Is -11 at least as big as c?
False
Let m = -3113 - -3113. Which is smaller: m or 3/32?
m
Let v(p) = 21*p + 484. Let g be v(-23). Does g = 70/137?
False
Let d = -381 - -381.05. Let v = -38.559 + 0.559. Which is greater: d or v?
d
Let n be (-5)/(-45) + (-23822)/(-9) + -4. Is n < 2644?
True
Suppose 6*g + 13*g + 7742 = 5*g. Is -3870/7 less than or equal to g?
False
Let z = 206.905 - 207. Let q = z + -0.905. Is 30 less than q?
False
Let r = -0.55 - -0.732. Let x = -27.182 + r. Which is greater: x or 0.2?
0.2
Suppose -10*f + 20 = -i - 5*f, -2*i = -7*f + 28. Which is smaller: i or -7/30?
-7/30
Let d(l) = -l**3 - 11*l**2 + 12*l + 17. Let x be d(-8). Let z = -425 - x. Let g = z + 110. Which is greater: g or -45?
g
Let j(r) = 2*r**3 + 9*r**2 + 4*r + 2. Let h be j(-4). Suppose h*n + 2 = -3*d, 3*d - d = 0. Which is bigger: 4 or n?
4
Let m be 40/(-6)*792/(-100). Let h = 29484 - 29483. Is m less than h?
False
Let o be (((-6130)/8)/5)/((-465)/(-3720)). Which is smaller: -1235 or o?
-1235
Let d be ((-5)/99)/(2/6). Let j = -168173 - -168174. Which is greater: j or d?
j
Let x = -3093 - -3033. Is -64 <= x?
True
Let k be (-2)/(-396)*8/12*650721. Let s = -2191 + k. Is 1 greater than s?
True
Let w be -48*(-186)/18 + (3 - -6). Is -2 at least as big as w?
False
Suppose -6*h + 3 = -1 + 10. Let u = -211/308 + -19/28. Which is smaller: h or u?
u
Let j = 306 + -304. Suppose 22 + 154 = -j*m + 2*g, -m - 96 = -5*g. Is m bigger than -85?
False
Let c = 0 + 2. Let l = c + -2. Let h = 57.636 + -55.936. Which is smaller: l or h?
l
Let q = 2.5944 - -0.4056. Which is bigger: q or 0.01111?
q
Let r = -13593/8 + 3435/2. Let h = r - 545/24. Is h equal to -5?
False
Suppose 89*j = 106*j - 17. Are j and 1/3302 equal?
False
Let w(n) = -545*n**3 - 11*n**2 - 14*n - 2. Let h be w(-1). Is h != 548?
True
Let f(y) = -13*y**2 + 3*y + 7. Let x be f(1). Which is smaller: 132 or x?
x
Let u be (-2)/5*(-1250)/(-100). Is -84/17 <= u?
False
Let y be ((-6)/(-12)*-1)/((-2)/396). Suppose -2*s + 0*s = -4*p - 102, -4*p = s + y. Let k = p - -24. Is 1/61 > k?
True
Suppose -3*t - 4*p + 9*p - 4 = 0, 0 = 4*t - 2*p - 18. Let o be 10/t + 2/(-14). Is o <= -7?
False
Let k be (-10)/(-15) - (-1012)/(-1527). Let t = -1072 + 1072. Which is greater: t or k?
k
Let l(c) = 135*c - 2873. Let k be l(21). Which is smaller: -328 or k?
-328
Suppose -f + 2186 = -3*d, -2191 = -6*f + 5*f - 2*d. Is 2189 <= f?
True
Let w = -0.673 - -2.673. Is w less than or equal to -634?
False
Let j be (18/158)/(3/2). Let b(c) = -c**3 - 15*c**2 - 1115*c - 16726. Let m be b(-15). Which is bigger: j or m?
j
Let j be (-16)/(-2) + (42/(-10) - (-174)/145). Which is smaller: j or 507?
j
Let y be (0/(8 - 4))/1. Suppose y = d + 2*n - 21, -2*n = 5*d - 48 - 41. Which is smaller: d or 1?
1
Let j = 1687.5 + -1269. Let f = 420 - j. Is f not equal to 6?
True
Let u(j) = -30*j - 1977. Let m be u(-66). Let v(i) = -i + 1. Let g be v(0). Does g = m?
False
Let r be (7/((-784)/(-6)))/(72/(-70)*-1). Is r at least 0.02?
True
Suppose -4*b - 191 = -1787*a + 1784*a, -5*a + 5*b + 320 = 0. Suppose -5*f + 80 = -240. Is f >= a?
False
Let j = 153.2 + 7.2. Let v = j - 149. Let q = -9.4 + v. Is q at least -1.6?
True
Let x be (-2)/3*(-132)/(-8). Let q(b) = 10*b + 151. Let o be q(-15). Which is smaller: o or x?
x
Suppose 50*x - 99 = 51*x. Suppose 0 = -3*i - 454 + 157. Is x > i?
False
Let d = -36 - -19. Let i = d - -101. Let v = i - 84. Which is smaller: v or 8?
v
Let r = -1355 + 1354. Which is smaller: 13/239 or r?
r
Let v = 0.809 - 0.009. Let b = 0.83 - v. Let c = b - 0.73. Which is smaller: c or -2?
-2
Let u(y) = 5*y**2 + 141*y + 2427. Let i be u(-18). Is 1510 at most i?
False
Suppose -142*m - 1395 = -111*m. Suppose -2*k = -5*r - 107, -5*k + 0*r = 3*r - 221. Let q = k + m. Does -4/9 = q?
False
Suppose 3*a - 2*c = 35359, c - 35357 = -3*a + 2*c. Let p be 1/(-2)*(0 - a/300). Let t = -98/5 + p. Is -1 at most as big as t?
True
Let r be 118 + 5 + (3 - 14) + 4. Suppose 29*t - r = -0*t. Is t at least 17?
False
Let t be (-2636)/40*(8 - 12). Which is smaller: t or 265?
t
Let y = 3944 + -3156. Which is greater: y or 3?
y
Let p be 18/(-1470)*((-14)/(-80))/(-1). Which is smaller: 1 or p?
p
Let y = 0.10207 + -1.15377. Do 1/2 and y have the same value?
False
Let m = -13679664 + 382979375/28. Let n = 1829 + m. Let h = 93588 + -93588. Is n >= h?
False
Suppose 64*i - 871 + 34087 = 0. Let a = i + 563. Which is greater: 219/5 or a?
a
Let t = -458 - -460. Suppose 68 + 7 = 5*h. Is h > t?
True
Let h = -2/1117 - -2340/59201. Let l = -143 + 145. Suppose -4*s - 3*b - 13 = -0*b, -4*s + l = -2*b. Which is bigger: s or h?
h
Let v = -59866/261 - -710/29. Is v < -204?
True
Let l = 0.93 + 90.07. Let c = -146 + l. Let t = c + 57. Does 0.039 = t?
False
Suppose -7*c = -3*c - 2544. Suppose -5*g = g - c. Are g and 108 non-equal?
True
Let v(l) = -30*l + 825. Let i be v(27). Which is smaller: i or 54?
i
Let a = -2792437202 + 692523367877/248. Let k = a + 4267. Are k and -1 unequal?
True
Let s = -6.7487 - -2.7487. Is s not equal to 105.9?
True
Let i(d) = -d**3 + 4*d + 3. Let o be i(-2). Suppose 1044 = 4*l + 4*p, -2*l - o*p = -0*l - 518. Let s = l - 6097/23. Which is smaller: 0 or s?
s
Let h be (72/(-84) + 220/(-21))/((-2)/(-3)). Which is greater: h or 15?
15
Let n(z) = 2*z**3 + 29*z**2 + 71*z + 31. Let j be n(-9). Which is greater: j or 3?
j
Let j be (119/(-35) - -3)*10/4. Let o = 52/135 + 2/135. Which is bigger: j or o?
o
Let a = -107.33 - -107.33. Which is greater: 213/29 or a?
213/29
Let d = -72 + 72. Is d less than or equal to 26/87?
True
Let i be (237/(-1307529))/(34/12). Which is smaller: 0 or i?
i
Suppose 2*l - 93*l = 25*l - 15080. Does 132 = l?
False
Suppose -4*g - 9*o = -100, 20362 = -4*g + 5*o + 20350. Let v = 12 + 10. Is g equal to v?
False
Suppose -y + 18 = 50*s - 53*s, s + y = -6. Let r(u) = 4*u**2 + 42*u + 9. Let i be r(s). Which is greater: i or 2?
2
Let f = -15975 + 15974.8. Is f bigger than -2/4101?
False
Suppose 0 = 33*n + 340 - 109. Let b(c) = -233*c**2 + 3*c - 1. Let x be b(2). Let w be x/(-462) - (9 + n). Which is smaller: 1 or w?
w
Let c = 1621 - 1628. Is 221 != c?
True
Suppose -4*l = 2*k + k + 17, -4*l = 20. Let u be (-168)/392*(-28)/792. Is k > u?
True
Let x(t) = -20*t**3 - 7*t**2 + 3*t - 1. Let w be x(-4). Suppose 3747 = -57*v - w. Do -85 and v have the same value?
False
Let v = 4736 + -4729. Is 0.191 at least as big as v?
False
Let m = -2170.4 + -23.6. Is -2 equal to m?
False
Let h = -104 - -104. Suppose 15*m + 7*m + 352 = h. Is -18 at most as big as m?
True
Suppose -13*k + 2293 = -3531. Let n be (-18)/7*k/96. Which is smaller: -0.2 or n?
n
Let n = -9 + -6. Let o be (-246)/16 + (-132)/1056. Is n < o?
False
Let n = -19439 + 19388. Is n at most as big as -73?
False
Suppose 32 = 82*r - 50. Let g be (189/374 + (-1)/2)*-1. Which is smaller: r or g?
g
Let k be ((-104)/2730)/(7 + -5 - 8/5). Which is smaller: k or -3/26?
-3/26
Let w = 7556