h. Let i = 280 - a. Which is smaller: f or i?
i
Let q(m) = -44*m**2 - 20*m - 113. Let c be q(-8). Is -2768 <= c?
False
Let r = -4.17647 - -0.02347. Do r and 0 have the same value?
False
Let z = 1324 + -1324.1. Let c(k) = -k**2 + 10*k + 2. Let v be c(10). Let q be 10*v*3/(-54). Which is greater: z or q?
z
Let k = 1.3 + -1.4. Let q = -25.9 - -25.9. Let r = k - q. Is r less than or equal to 3/11?
True
Let i be (-3)/(-30) - (1995/150)/(-7). Let k be (-148)/(-126) - (-26)/(-117). Which is smaller: k or i?
k
Suppose 51*h - 49*h + 96 = 0. Let t(z) = z + 1. Let d be t(-3). Let s be 4 + -1 + d + -49. Is s >= h?
True
Suppose 5*m + 2*t + 57 - 327 = 0, 5*m - 240 = 4*t. Let h be m/(-8) + (-24)/(-4). Which is bigger: -2 or h?
h
Let f = -0.0784 + -0.4786. Let s = f + 0.57. Let u = s + 2.987. Is u bigger than -5?
True
Let d = 37 + 0. Let g = d - 37. Suppose -p = -5*h + 57, -2*h + 5*p = -g*p - 32. Which is bigger: h or 12?
12
Let c = -0.11 - -0.74. Let i = -1168.59 - -1168. Let r = c + i. Is r equal to -1?
False
Let m be 10/(-984) + (-156)/(-208). Is 2 != m?
True
Let x(r) = 73*r - 132. Let u be x(2). Is 4 != u?
True
Let l be 0 + 1*-61*-1. Let f be (-132)/14*((-95)/(-15) - (-10)/15). Let a = l + f. Which is bigger: a or -10?
a
Let j = -310 - -124. Let n = 175 + j. Which is smaller: n or -4?
n
Let d be 1/(-4) + (-1)/(-220)*-1822489. Let c = d - -8284. Which is smaller: -1 or c?
-1
Let i = -434 + 422. Let a be ((3 - 2) + 1)*i. Which is smaller: -27 or a?
-27
Let j = -1 - -2. Let m = -656/67 + 1189/402. Which is bigger: m or j?
j
Let t be -2116*(1668/(-240) + 7). Is -107 greater than t?
False
Let y = 18645 + -18688. Is -164 at least as big as y?
False
Let y(f) = 4*f + 18. Let q be y(-4). Suppose -3*c + 4*d - 3 = 0, -5*c = -q*d - 1 - 8. Suppose -6*x = c*x + 9. Is -2/37 equal to x?
False
Let v = 0.0154 + 338.9846. Let s = v - 338.9. Which is bigger: s or 2/33?
s
Let q be (2/((-8)/(-2)))/(13 + (-375)/30). Which is smaller: q or 76/297?
76/297
Suppose 15*i + 2 = 17. Suppose -i = -17*m + 16*m. Which is bigger: -11 or m?
m
Let w = -0.018 - 0.016. Let k = -26.966 + w. Let n = 34 + k. Which is smaller: n or 0?
0
Suppose y = 4*p - 444, 0 + 111 = p + y. Suppose -110*u = -p*u - 3. Let j = 2 + -1. Is j at least as big as u?
True
Let g be (-544)/36 - (-23 + 9). Which is smaller: g or -47?
-47
Let f = 155.7 + -136. Let y = -5.7 + f. Let i = -2 + -1. Which is smaller: y or i?
i
Let t = -0.618 + 0.7. Let g = t - -56.918. Let q = -58 + g. Which is greater: 21 or q?
21
Suppose 3*p + 7 = 4*c, -2*c - 2*p + 17 = 3. Suppose -3 = -c*b + 1. Let l = 7097/25011 - -7/3573. Which is smaller: l or b?
l
Let r = 7/6 - 47/30. Let c = 106 + -55. Suppose -6*z + 189 - c = 0. Which is smaller: z or r?
r
Let f = 47.51 + -48.41. Does f = -46?
False
Let n(z) = -z**3 - 29*z**2 + 28*z + 24. Let c = 371 + -401. Let h be n(c). Are -2 and h unequal?
True
Suppose 7645 = 76*m - 87*m. Let c = m + 695. Which is smaller: c or 2/639?
c
Let y(c) = -10400*c + 1. Let z be y(0). Let v = 98/41 + 2/205. Which is smaller: z or v?
z
Let p be (98600/(-19691) + (-5)/(-1))*-1. Which is greater: p or -1?
p
Let r = 3457 - 268. Which is greater: 3190 or r?
3190
Let g(m) = 2*m**2 - 204*m - 1297. Let t be g(108). Suppose 2 + 13 = 5*j. Let c be 1/(2/12*j). Which is smaller: c or t?
t
Let p be (8/6)/((-920)/5497230). Is p greater than or equal to -2/7?
False
Let b = 1036 - 100491/97. Let w = 99/194 - b. Is w < 5/17?
False
Let h = -6015 + 10389. Are h and 4373 equal?
False
Suppose 98*g = 54*g - 58344. Is -1326 at most g?
True
Let s be -4 - 1/((-2)/116)*210/(-532). Is s at least -26?
False
Let m = -6.82 + 0.52. Let d = m + 65.3. Let w = 43 - 42.9. Is d at least as big as w?
True
Suppose 0 = 115*d - 123*d - 29904. Is d <= -3738?
True
Let m = 16 + -75. Let a = 1213.02 + -1212.02. Is a < m?
False
Suppose 7*q + 1565 - 445 = 0. Let r = q - -221. Suppose -2*n + 4*o = o - 132, -n + 5*o = -73. Which is smaller: r or n?
r
Let k be (60/26)/15 + (-3 - 51004/(-52)). Is 978 >= k?
True
Let q be 238/(-816) - 2/48. Is q bigger than 117?
False
Suppose 0 = -6*i - 3159 - 1071. Let o = i - -704. Let t be 0/(4/1 - 2). Which is greater: o or t?
t
Let y = -2283 - -2263. Which is smaller: -27 or y?
-27
Suppose 3074*x - 543 = 3073*x. Which is bigger: 0.2 or x?
x
Let t = 121 + -119. Suppose -t*b + 63 = 25. Let r = -78/17 + 819/34. Is b greater than or equal to r?
False
Let y be 977/(-6937) + 77/539. Which is bigger: y or 1?
1
Let h be 931 - 7/1 - -6. Suppose 0 = 7*d - h + 1035. Is -2 less than or equal to d?
False
Suppose 5*f = 4*t + 2*f + 960, -4*t - 3*f = 960. Let d = 471/2 + t. Let v(l) = l**2 + 9*l - 4. Let o be v(-9). Which is smaller: d or o?
d
Let l be 5 - (0 + 0 - (-4109)/819). Let q = 0 - -1. Let s be 0*q*(-1 + 0). Is l at least as big as s?
False
Let q(a) = -2*a**3 + 5*a**2 - 2*a - 4. Let r be q(3). Let m be (-66)/(-8)*r/1710. Let o = 1/8 + m. Which is smaller: 1 or o?
o
Let n = 2394379/651 - 3678. Suppose -3838*k + 731 = -3183*k + 76. Are k and n nonequal?
True
Suppose -2*i - 4*q + 138 = 0, 266 = -12*i + 16*i + 3*q. Which is greater: i or 39?
i
Let u(r) = 2*r**3 + 61*r**2 + 89*r - 5. Let p be u(-29). Let n = -96 - -34. Is p bigger than n?
False
Let o = 68.85 - -0.15. Let t = 31 - -38.2. Let b = o - t. Which is smaller: b or -2/9?
-2/9
Let l = -44 - -53. Let m(r) = -r**2 - 12*r + 18. Let t(o) = 2*o**2 + 23*o - 36. Let k(f) = l*m(f) + 4*t(f). Let g be k(-19). Is -40 smaller than g?
True
Let n = -18186 + 18195.46. Is n bigger than -4?
True
Let r(i) = 8*i - 69. Let j be r(9). Suppose 0 = -2*w - 4*o - 18, 9*o - 10*o - j = 0. Is 12 greater than w?
True
Suppose -4*n - 4*f - 16 = -0*f, 0 = 4*n - 2*f - 8. Suppose 0 = -n*a - 3*a. Suppose -390*y = 48*y + 2190. Which is greater: y or a?
a
Let t be (1788/14900)/(6/32). Is 1/9 at least t?
False
Let o be 1550241/756*6/(-33). Which is bigger: -373 or o?
o
Let g(s) = -3*s + 2. Let b(t) = 10*t - 6. Let p(d) = -5*b(d) - 16*g(d). Let m be p(0). Let y be m + 1 + (-30)/(-3) + -3. Is 4 bigger than y?
False
Let j = -4119 + 4120. Is j <= 40/13?
True
Let a = -26909 + 26902. Let t = 0.2 + 0.05. Is t greater than a?
True
Suppose -p - 758 = -5*b - 0*p, 4*b - 2*p - 610 = 0. Let s = 55 - b. Let d = s - -101. Which is smaller: d or 9?
d
Let x = -26 - -31. Let c be 42*-3*(-2)/(-6). Let h be (x/10)/((-3)/c). Is 1/8 less than h?
True
Suppose -4*i + 2*l - 128 = -0*i, -2*i - 62 = -2*l. Let g = i + 31. Let c be (g/(-8))/(15/(-12)). Which is greater: -1 or c?
c
Suppose 0 = 10*p - 9*p. Suppose -u + p*u = 0. Let f be 1*((u/2)/3)/3. Is 1/15 greater than or equal to f?
True
Let s be (-3 + -1 - (-38250)/(-20))/(1/(-2)). Is s greater than 3833?
False
Let p = -186 + 340. Let t = p - 153.7. Is t at most as big as 3.1?
True
Let j = -3570.86 - -3482. Let l = j - -89. Let h = 0.14 - l. Which is smaller: -24 or h?
-24
Let w be 4/((-16)/12) + -24 + 5. Let r be ((-33)/w)/((-446)/(-4)). Let b = 865/2007 + r. Is 1 smaller than b?
False
Let g be (7/5)/(((-21)/35)/(-3)). Suppose -g*f = -18*f - 22. Are f and -8 equal?
False
Suppose -8*f - 9 - 207 = 0. Let h be 2/4 + 6 + (-1895)/(-10). Suppose -9*y = -16*y - h. Which is greater: f or y?
f
Let x = -22 - -29. Suppose -16 - x = f. Let u = f + 16. Is u at most -4?
True
Let c = -1252.081 - -1253. Let q = c - -0.081. Let u = 761/52 - 61/4. Is q less than u?
False
Let w be (-6 - -6 - -2)/((-24)/9 - -2). Is w at most as big as -130/49?
True
Let f = 244 - 265.1. Let w = f - -20.8. Is w at least as big as 2.7?
False
Let n = -51 - -71. Let u be (-52)/n + (-3)/(-5). Let f be (-2*(-6)/(-24))/(1/u). Is -1/29 > f?
False
Let k be (0 + (-18)/(-4))/((-9)/(-120)). Let f = k + -57. Let i = f - 5. Is i <= -6/5?
True
Let g = 10044.1959 - 10045. Let k = 0.0041 + g. Which is greater: k or -0.03?
-0.03
Let k(n) = n**3 - 31*n**2 + 62*n - 93. Let i be k(29). Let j(q) = -q**3 + 25*q**2 - 34*q - 75. Let z be j(i). Is 1 less than or equal to z?
True
Let y = -27 - -40. Let g(q) = -y*q + 0*q - 9 - q**3 - 18 + 15*q**2 + 12. Let l be g(14). Is l smaller than 2/409?
True
Let y = 3620/33 + -1203/11. Which is smaller: 3105 or y?
y
Let l be 35 - ((-9)/(-3) - -1). Let y = l + -43. Let g be 14/7 + (-40)/y. Which is smaller: g or 6?
g
Let k = -3949 + 3949.4. Is -334/7 at most k?
True
Let a(u) = -u**2 - 18*u - 28. Let r be a(-6). Suppose -31