
Let c = 906 - -125. Which is smaller: -1/3 or c?
-1/3
Let k = -739.1 + 709. Let q = k - -29.8. Let b = 1.2 - 0.2. Is b at least q?
True
Let y be 40 + (7 - (7 - 6)). Suppose -5*u - 70 = -5*s, 3*s + 4*u - y = 10. Is s at least 16?
True
Let m = -0.34307 + 19.34307. Which is bigger: 197 or m?
197
Let g be (-38 + 37)/(((-3)/12)/((-195)/12)). Is -65 at most as big as g?
True
Let c(l) = l**3 - 15*l**2 + 13*l + 13. Let h be 3/2 - ((-900)/8)/9. Let j be c(h). Do j and 2 have the same value?
False
Let g = 43.33 + -43. Let p = -0.67 - g. Let w = -78.4 - -77. Which is greater: p or w?
p
Let c(w) = w**2 - 13*w - 891. Let h be c(-24). Are 0.347 and h unequal?
True
Let r be 17/(-85) - 1018/110. Let s = 6799 - 6807. Is s less than r?
False
Let u = 66.85 - 67. Let h = u - 61.85. Which is greater: -0.2 or h?
-0.2
Let c be (-2 + 1)/(2/(-17)). Let q = 2.98358 + -1.98358. Which is bigger: c or q?
c
Suppose -2*s + 12 - 2 = -2*o, -3*o = 5*s + 55. Let t be o + 12 + (0 - 41/17). Are t and -2/5 unequal?
True
Let b be ((-602)/72)/7*(-72 - -69). Is b equal to 8?
False
Let z = 3371 + -3373. Which is smaller: -944 or z?
-944
Let r = 31985 + -12801. Are 19184 and r non-equal?
False
Let b = 52 + -20. Let g = b + -7. Let s = 45 - g. Which is smaller: s or 19?
19
Suppose -o + 5 = 2. Suppose o*k + 23*k - 52 = 0. Is -0.03 smaller than k?
True
Let h(d) = 2*d**2 + 13*d - 3. Let t be h(-7). Suppose -2*a + 5*g - 1711 = 0, -t*a - 2577 = -a - 4*g. Which is bigger: -864 or a?
a
Suppose 0 = 5*z + 5*m - 1185, -m - 483 = 5*z - 7*z. Let y = z - 2158/9. Is y not equal to 1/184?
True
Suppose -3*a + 59 = w, 7*w - 11*w - 28 = 0. Is 40 greater than a?
True
Let l(q) = -q**2 - 110*q - 815. Let t be l(-8). Which is greater: -2/8299 or t?
t
Suppose 88 + 96 = 23*h. Let c be (900/(-8))/(-3)*h/12. Which is greater: 27 or c?
27
Let r(d) = -2*d**2 + 51*d + 3858. Let b be r(-33). Let u(f) = -f**3 + 2*f**2 + 3*f. Let i be u(3). Suppose n + 0*n - 5 = i. Which is smaller: n or b?
b
Suppose 70 - 28 = 3*n. Let m be 72/(((-3794)/(-100))/7 - (924/(-300) + 3)). Which is smaller: n or m?
m
Let d(h) = -16*h**3 + 72*h**2 - 14*h - 3. Let o be d(4). Let a(j) = -17*j. Let t be a(-4). Which is bigger: o or t?
o
Suppose -161*z = -152*z - 45. Suppose -5*g - 6 = -11, -z*c + 39 = -g. Which is greater: -2 or c?
c
Let s(l) = -l**2 + 60*l - 121. Let j be s(58). Let u be 2*j/2 - (11 + -16). Let m = -2/677 - -2123/31142. Is m at least u?
True
Let g = 4999865/136 + -36764. Let h = -7619/34 - -224. Let k = g + h. Is 1 equal to k?
False
Suppose 4 = 3*z + 5*m - 1, 0 = -m - 2. Let x = 5 + z. Let f be (-55)/22*(-4)/x. Is f <= 1/37?
False
Suppose 15*f - 17*f + 36 = 0. Let o be (9/f + 0)*-386. Are -195 and o unequal?
True
Let l be 10 - (5 - 50/(4 + -14)). Is l > 5/2876?
False
Let q(h) = -301*h + 3724. Let i be q(12). Which is smaller: i or 107?
107
Let a = 282.6 - 317.6. Let z = 17 + 18. Let f = z + a. Is f at least as big as 2/47?
False
Let c = -7317 + 7344. Is c at least 241?
False
Suppose 7236 = 2*k - 3*p + 2685, 0 = 4*k - 3*p - 9117. Suppose -k + 249 = -9*s. Which is smaller: s or 227?
s
Let g(p) = 21*p**2. Let d be g(-2). Suppose -10*h = 3*i - 12*h - 70, 2*i - 55 = 3*h. Suppose -i*k = -16*k + d. Which is bigger: 2 or k?
2
Let d be 14/(-12)*-2 - 1. Let q = 0.441 + -388.441. Let z = q - -388. Which is greater: z or d?
d
Let n(s) = 23*s**2 + 297*s - 26. Let c be n(-13). Is -32/267 greater than c?
False
Let x(b) = b**3 - 23*b**2 + 20*b + 52. Suppose -5*r - 32 = -6*t + 5*t, 4*r + 8 = 0. Let y be x(t). Which is greater: y or 28/3?
28/3
Let r be 2 + 44/12 + -2. Let d = 32 - 40.6. Let n = d - -9.6. Is r greater than n?
True
Let m = 26.2 - 26. Let l = -648/13 + 50. Is m bigger than l?
True
Let g = 258 + -240. Suppose g*z - 9*z = 441. Which is bigger: -0.1 or z?
z
Let q be 3/(6/18680) - 2*(-78)/(-52). Is 9335 smaller than q?
True
Let t be (18 - 17)*(-6 - 32). Which is smaller: t or 1/2?
t
Let g be 2/(-6) - 8/(-168). Let y = 68 - 68. Let n be (-14)/4 + (3 - y). Which is smaller: g or n?
n
Let g be (-1 + 2)/(5 + (-14528)/2904). Let c = g + 360. Is c bigger than -43/10?
True
Let w(m) = m**2 - 39*m + 90. Let a be w(35). Let h be (-2)/(-10) + (-248)/(-5). Let f = a + h. Is f at most as big as 1?
True
Suppose -30*z + 129 + 501 = 0. Suppose -32*k + z - 85 = 0. Which is bigger: -6/11 or k?
-6/11
Let r be (-8)/(-6)*(-33)/44. Let d be (-1 + r)*(-14 + -2). Which is smaller: 33 or d?
d
Let z = -172 - -130.3. Let k = z + 37.2. Is -5 less than k?
True
Suppose 0 = 2*c + 4*f - 50, 3*c - 4*f = -2*f + 35. Suppose 8 = -c*v + 23*v. Let g be 1 - 1 - (-2)/141. Which is smaller: g or v?
g
Let d(j) = 15*j - 52. Let u be d(4). Let k be 138/(-184) - (-6)/u. Is k < 7?
True
Let q = 3.311 - 3.411. Do 0.296 and q have different values?
True
Let q be (8928/(-6588))/((-11)/(-198)). Is -24 less than q?
False
Let u = -161 - -280. Let l = 109 - u. Which is smaller: 0.3 or l?
l
Let c = -29851 + 25669. Do c and -4183 have different values?
True
Suppose 6*v = 372 - 102. Let h be 1/(-2)*(2/(-2) + v). Which is smaller: h or -23?
-23
Let h(z) = 86*z - 4. Let g be h(-3). Let k be 263/(-28 + 31 + -4). Is k bigger than g?
False
Suppose 5*q - 2*z = -4*z + 9, 5*q = 3*z - 1. Let m(i) = -i**3 + 2*i + 1. Let s be m(2). Let b be (-2)/s - (-56)/(-72). Is b != q?
True
Let s be 2475/(-7667)*(-16)/40. Is -1 greater than or equal to s?
False
Let u = 3908 - 3882. Which is smaller: 30 or u?
u
Suppose 16*w - 221 = -w. Suppose -54*u + 34*u = 240. Is w smaller than u?
False
Let b = 370.362 - 370.18. Is b not equal to 0.001?
True
Let k be 3/4*(-24)/(-9). Let t be -1 + k + 8/(-6). Let a = -0.09 - 0.03. Which is bigger: t or a?
a
Let l = 0 + 4. Suppose 0 = -l*k - 30 - 2. Let i = -6353/3 - -2117. Which is smaller: k or i?
k
Let u = 18655 + -1492373/80. Which is bigger: u or -1?
u
Let s = -235 + 235.186. Let f = s - 10.186. Which is smaller: 0.2 or f?
f
Let h be (-22 + (-21984)/(-120))/((-2)/5). Does h = -411?
False
Let h be (6/(-9))/(2/3). Suppose -3*a - 30*a = -66. Let o be ((12/2)/((-3)/(-10)))/a. Is h at most as big as o?
True
Let k = -3046 + 2356.1. Let l = 690 + k. Which is smaller: l or 0.0098?
0.0098
Suppose 3*b = -2*n + 181, 4*n + 5*b = -63 + 420. Suppose 13 = -14*k + n. Suppose 3 = 2*q - k*q. Is -2/441 at least as big as q?
True
Let u be 348*(5/(-2) + 3). Suppose 0 = -19*a + 3198 + 127. Which is smaller: u or a?
u
Let f = 68649 + -201808/3. Is 1380 >= f?
True
Suppose 0 = 13*k + 593 + 148. Let f(o) = -7*o**3 + o**2 - 2*o + 1. Let j be f(2). Is k smaller than j?
True
Let u = -1007 - -5051/5. Let t be -13*(-2 - 2)/4. Let r = -10 + t. Is u greater than or equal to r?
True
Let v = 1.092 - 0.87. Let b = v + -0.222. Which is smaller: 189 or b?
b
Suppose x + x + 184 = 4*q, -4*x = -5*q + 230. Suppose 6*f = -q + 46. Which is greater: -9/40 or f?
f
Let d = 134 + 100. Let c = -233 + d. Which is greater: c or 4?
4
Let u(y) = y**2 - 45*y - 756. Let t be u(59). Is -19 less than t?
True
Let b(n) = 2*n**3 + 19*n**2 - 3*n - 1. Let d be b(-13). Let c be 1/6 + 1/(30/d). Which is smaller: c or -39?
-39
Suppose -c + 3*t - 52 = t, 215 = -5*c - 5*t. Suppose -55 = 5*i + 190. Which is bigger: i or c?
c
Let d be (-4)/(-26) - (-15 + ((-154630)/(-3094) - -6)). Which is smaller: d or -42?
-42
Let p = 35 + 44. Let x be 5/15*6 - p/48. Let g = 5/16 + x. Do 2 and g have different values?
True
Suppose 6*i - 3*i - 321 = 0. Let s = -261 + i. Are s and -153 non-equal?
True
Let c = -1863892060093/1190886 + 73561113/47. Let v = c - -58/123. Is v < 1?
True
Let y = 6 + -4. Suppose -286*i + 48*i = -4284. Suppose -2*w + 2*n - i = y*w, 5 = n. Which is smaller: -2/3 or w?
w
Let t = -26.338 + -0.712. Let d = -308.05 - -307. Let i = d - t. Which is smaller: i or -1/2?
-1/2
Let a(z) = -59*z - 887. Let b be a(-15). Which is greater: 5 or b?
5
Let r(t) be the third derivative of -t**4/24 - 20*t**3/3 - 20*t**2. Let g be r(16). Let j be ((-124)/g + -2)/((-2)/4). Is j >= 0?
False
Let u = -490 - -647. Let l = u + -153. Which is greater: l or 1?
l
Let b be ((3080/50)/11)/((-26)/27105). Which is bigger: b or -5837?
-5837
Suppose d + 3*d + 3*y - 665 = 0, 5*d - 3*y = 865. Let o = d - 213. Which is bigger: -44 or o?
o
Let t(r) = 13*r**2 + 17*r - 39. Let k be t(5). Let g = k - 458. Are -87 and g equal?
True
Suppose -s = 2*a - 170 - 9, a - 82 = s. S