 at most 225?
True
Let x be ((-27)/(-93))/((-522)/(-2784)). Suppose 4*d = -d + 15. Is d > x?
True
Let b = -1973.3 + 1840.3. Which is bigger: b or -17/6?
-17/6
Suppose 2*x - 9 = -x. Suppose -312 = -x*r - r. Suppose -r = 3*q - m, 0*q - 59 = 2*q - 3*m. Do q and -27 have the same value?
False
Let a be (54/(-72))/((-6)/32). Suppose -2*g + 5*k + 461 = 0, g - a*k - 199 = 27. Which is greater: 239 or g?
239
Let a be -1*(-8)/(-6)*321/(-428). Is -1365 greater than a?
False
Let i(m) = 2*m**3 - 14*m**2 + 7*m + 29. Let s be i(6). Let v be (40/(-1700))/((-261)/15). Which is bigger: v or s?
v
Let t(b) = -9*b - 31. Let g be t(-9). Suppose c = 2*k - 3*k - g, 26 = -k + 5*c. Let y = 0.652 + 0.348. Is k greater than y?
False
Let f be 4/46 - ((-2748)/69)/2. Suppose -23*v + 387 = f*v. Is 85/9 equal to v?
False
Let t = 29.3 - 35.9. Let b = 0.1047 - 6.3147. Let h = t - b. Are 0 and h unequal?
True
Let f be (44410/(-7))/(-53 + 61). Let l = 793 + f. Does 0.5 = l?
False
Let y = -376 + 365. Suppose -2*n + 12 = -4*u, -u + n + 0*n - 3 = 0. Which is greater: y or u?
u
Suppose 14*y - 26*y = 120. Let p be 27/(-45) + (-596)/y. Is 58 smaller than p?
True
Let u(q) = 12*q - 99. Let s be u(22). Let b = s + -9733/59. Which is greater: b or 1?
1
Let l = -0.0493 + 513.0493. Let p = -513.4 + l. Is -16 less than p?
True
Let k = 0.6 - -0.4. Let p = -0.16 - -347.16. Let d = p - 347. Which is bigger: k or d?
k
Let s = -3 - -2. Let r = -1.98981 - -1.58881. Is s less than or equal to r?
True
Suppose -7*j + 3*j = -o + 5, -5*j = 5*o. Let f = 569501/2812123 + 119/1993. Let c = f + -12/83. Which is bigger: o or c?
o
Suppose -5*l = 3*o - 375, 0 = -1567*l + 1568*l - 3*o - 93. Which is greater: l or 107?
107
Let f be 3/4 + 36573/4. Let d be (f/66)/(-3) + (-2)/(-11). Let w = d - -22. Which is smaller: w or -25?
-25
Let j = 32.07 + -0.07. Which is bigger: j or -2?
j
Let o = -430 - -7334/17. Let v(w) = -w - 5. Let g be v(-4). Let b = g + 2. Which is greater: o or b?
o
Let y = -2141 + 573803/268. Which is greater: 1 or y?
1
Let w be (-2 - -3) + 1 + (-7 - 31). Let l = -133 - -97. Do w and l have the same value?
True
Let y = -291 - 3226. Which is smaller: -2/7 or y?
y
Let v = 2142343/285 - 7517. Which is bigger: -11 or v?
v
Let q = -3068882/156926393 + -7/93353. Let j = -2089681/10086 - q. Let h = j + 205. Is -3 bigger than h?
False
Let w(c) = -27 - 16*c**3 - c + 28 + 10*c**3 - c + 7*c**3. Let z be 0 + (0/(-2))/(-1). Let y be w(z). Which is smaller: -70 or y?
-70
Let o be (4/(-30))/(24/(-10)). Suppose 19*l - 16*l - 1 = 5*m, 3*l = -m - 11. Let g be (m/(-14))/(19/836) - 6. Which is bigger: g or o?
g
Let k = 25/16493 + -10575113/2045132. Let n = 44/31 + k. Is -5 greater than n?
False
Let l be (-8)/(-32)*36 - 6. Let p = 9.49 - 4.55. Let x = -5 + p. Which is smaller: x or l?
x
Let v(w) be the first derivative of -w**3/3 + 15*w**2/2 - 20*w + 15. Let c = -24 - -36. Let k be v(c). Which is greater: k or 17?
17
Let f = -2710 + 2715. Is 226 < f?
False
Let f = -7214 - -7212. Which is bigger: -2665 or f?
f
Let f be -1031 + (0/3)/(-1). Let k = f - -1035. Let m be ((-35)/24)/((-1)/3). Which is smaller: k or m?
k
Suppose -28*f - 30 = -43*f. Suppose m - 1 + 4 = 5*w, f*w = m + 3. Which is bigger: w or -4/105?
w
Let o be 60 + (0/(-3))/3. Suppose 0*i - 3*i = -o. Suppose 10*n - 97 - 123 = 0. Do n and i have the same value?
False
Let p = -8 + 6. Let c be (p + 1)/((-2)/68). Suppose -46 = 2*w + c. Which is bigger: w or -39?
-39
Let l be 4 - 11/((-8470)/(-108060)). Let i = l + 1418/11. Is 0 at most i?
False
Let j = -1058 - -1058. Let y be (-1)/(j - 1/(-1)). Are 1/477 and y equal?
False
Suppose -30*h + 97 + 23 = 0. Suppose 50*t - h = 46*t. Is t equal to 7/101?
False
Let z = 1006 - 791.7. Let n = z + -215. Is -1/4 equal to n?
False
Let a be ((-6)/(-2) - 1139/1) + (9 - 2). Is a at least as big as -1129?
True
Let u(w) = -211*w + 2595. Let t be u(13). Let a = -189 + 41. Is t less than or equal to a?
True
Suppose 0 = -2*k - 2*m + 4, 0*m - 3*m = 2*k - 2. Let u(t) = -8*t + 31. Let f be u(k). Are 2/17 and f non-equal?
True
Suppose -510 - 634 = -26*m. Suppose -m*t - 212 = -48*t. Suppose 6*f - 54 = 5*f. Is t bigger than f?
False
Let i = 976294722/3002897 - -5/176641. Let w = 325 - i. Which is smaller: w or -3?
-3
Suppose 0 = -3*g - 1 + 7. Let i be 2/(-3)*-12 - g. Let q be (i/(-3))/1*(-1)/7. Is 2/3 not equal to q?
True
Let v be ((-4)/18 + (-2)/(-8))*684/1197. Which is bigger: -166 or v?
v
Let s = 3.94 - 14.94. Let t = -7 - -7.01. Let a = t + -1.01. Which is greater: a or s?
a
Suppose -2*u - 11*u + 13 = 0. Let o be ((-96)/(u - -3))/2. Is -11 at most o?
False
Let f(w) = -w**3 - 2*w**2 + w - 65. Let j be f(-5). Let q be 2/6 + (-764)/(-12). Let r = 482/7 - q. Which is smaller: j or r?
r
Let c(s) be the second derivative of -s**4/12 - 3*s**2 - 14*s. Let b be c(0). Let m be 38*(1 + 3/b). Is m < 20?
True
Let u = 8227 + -9203. Which is smaller: u or -978?
-978
Let f(m) = -m - 3. Let s be f(-5). Suppose s*p = d + 12, 16 = 5*p - 4. Suppose 0 = -18*q - 10*q - 140. Which is smaller: q or d?
q
Suppose 55*q = 76*q - 840. Let k be (6/8)/((-1)/(q/(-45))). Is -65 < k?
True
Let g = -2316/3955 - -8/565. Is g != 389/2?
True
Let v(z) = -z**3 + 17*z**2 + 13*z + 53. Let s be v(18). Let l = s + 37. Which is smaller: l or 55?
l
Let n be 7065/(-10)*(7 + (-175)/21). Which is smaller: 940 or n?
940
Let b = -86 - -87. Let t be (12/(-104))/(((-4)/(-40))/b). Is t at least as big as -2?
True
Suppose -5*c - 5*h + 395 = 0, 6*c - 3*h = 4*c + 158. Is c less than or equal to 77?
False
Let n = 3296 + 51. Is n > -0.1?
True
Let w = -0.178 - 2.842. Let u = w - -2.98. Which is greater: -22 or u?
u
Let p = -171 + 171. Let m(j) = j**3 + j**2 - 2*j + 1. Let q be m(p). Which is bigger: q or 48/23?
48/23
Let v(o) = -o + 47. Let u = 8 - 8. Let h(j) = -j + 14. Let w be h(u). Let y be v(w). Which is smaller: y or 1?
1
Suppose 240 = 7*l - l. Let x = l + -47. Let q = -3 - x. Are q and 4 nonequal?
False
Let l = 2 + 13. Let u = l + -14.9. Let a = -2.1 + u. Which is smaller: a or -2/11?
a
Let t = -1188 - -1173. Are t and -123/8 equal?
False
Let c = 2671/3 - 8865053/9957. Which is bigger: 1 or c?
1
Let x be (1/(-2))/((-3)/42). Suppose -5*v + u = x, -u - 2 = -2*v + 6*v. Let s be (-172)/864 - (-2)/(-16)*v. Which is bigger: s or 1?
1
Let h(r) = 2*r**3 - 132*r**2 + 3*r - 35. Let t be h(66). Let l = -206 + 371. Is l > t?
True
Let u = 6492 + -6492. Is u not equal to 1306?
True
Suppose -5*j - 5*h = 30, -31*j - 13 = -33*j + 3*h. Which is smaller: j or -12/2387?
j
Suppose -15 + 30 = 3*n. Suppose n*l = i + 51, -22*i = -17*i + 2*l + 309. Is i smaller than -62?
False
Suppose -3 = -0*l - 2*l - j, 5*j + 27 = 4*l. Let m be (-52)/13 + (l - (-156)/148). Which is bigger: m or -5?
m
Suppose 5*v = 4*d + 5, 2*d = v + v. Suppose -d*j + 4 = -3*j. Suppose -2 = -2*r + 3*p + p, j*r + 3*p = 2. Which is greater: r or 2/135?
r
Let f = 4111 + -4111.175. Is f greater than or equal to -8?
True
Suppose -2*w + 7*w - 3*m = 654, -2*w + m + 262 = 0. Let p be 24/w + (0 - 524/(-22)). Suppose -p*j + 3 = -23*j. Is 4 < j?
False
Let w = -9284 + 7422. Which is bigger: -9304/5 or w?
-9304/5
Suppose -3*w - 2*n - 2 + 17 = 0, -n = 0. Suppose 3*r + o + 77 = 304, -3*r - w*o = -211. Suppose r*g - 82*g - 360 = 0. Are -72 and g nonequal?
False
Suppose -4*g = -20, -d + g + 4*g = -103. Let l be d/3 - 3/(-9). Let p = -19197 - -38479/2. Is p not equal to l?
True
Let k be (-5)/(-90)*6 - 4/(-6). Let f be (6/9*13)/(-2) + k. Is 1 less than or equal to f?
False
Let q = 444 + -438. Let u(k) = -2*k - 4. Let z be u(-5). Is z bigger than q?
False
Suppose 4*f + 11 = l, -8*f - 39 = -5*l - 4*f. Suppose -l*b - 96 = 380. Is b > -67?
False
Let p be 420224/6*18/12. Let i be p/(-203) + (-1)/(-2). Let n = 517 + i. Is -1 < n?
True
Let a be 44/7 - (-2)/(-7). Suppose -a*w + 118 = 4. Suppose -y + w - 61 = 0. Which is bigger: -44 or y?
y
Suppose 14*q - 27615 + 175 = 0. Do q and 1960 have the same value?
True
Let a = -5/9 + 124/207. Let r = 1643459/28704 - 2231/39. Let f = a + r. Does f = 0?
False
Let k = 0.59 - 0.09. Let j = -8.3 + 8.3. Which is greater: k or j?
k
Suppose 3*r + 68 = 4*y, -27*r + 18 = -28*r - y. Let i be r/(-9390)*(-12)/(-1). Which is smaller: -1 or i?
-1
Let q = -39/98 - -7801/19110. Let s(p) = -p**3 - 9*p**2 + 13*p + 30. Let o be s(-10). Is o less t