 h = 156 + -156.26. Let l = h + 0.26. Which is smaller: l or n?
n
Let j = -993 + 550. Let q be ((-7144)/(-266))/(6/(-98)). Let r = j - q. Is r greater than -5?
True
Suppose 744 = -4*a + 3*z, -25*a + 5*z = -26*a - 209. Let s be (-27)/a + (-59)/(-28). Is -0.7 at least as big as s?
False
Let x be (-435)/10*(-4)/6. Let v = -23 + x. Let c be (v - 7/1) + (-5)/(-3). Which is bigger: 1 or c?
1
Let t be (-6)/(150/20 - 8). Suppose -t + 12 = 11*q. Which is smaller: q or -2/903?
-2/903
Suppose 118 = 10*d - 162. Suppose -2 = -5*t + d. Which is smaller: 0.1 or t?
0.1
Let c(k) = k**3 - 7*k**2 - 14*k + 5. Let u be c(9). Suppose -2*f = -99 - 19. Suppose -q + u = -5*h + 3, -f = -3*q + 4*h. Is q at most as big as 14?
True
Suppose -44*r - 74376 = 120324. Does r = -4424?
False
Let p = 454 + -457. Let g be (-1)/(74/(-76) + (2 - 1)). Which is smaller: p or g?
g
Suppose 1540 = 13*d + 903. Is 55 greater than d?
True
Let l be 2301/69 - (-2)/(-4). Let v = 67/2 - l. Is 0 less than or equal to v?
True
Suppose h = -1 + 9. Let p = 249192 - 249181. Which is smaller: h or p?
h
Let w = 35.0611 - 0.0411. Let n = w - 2.42. Let z = n + -4.6. Does z = -2/9?
False
Let l = 4/101 - 19/13231. Suppose 0 = p, p = 3*i + 149 - 146. Is l less than i?
False
Let d = -1249.242 + 1249.4. Let l = 3.1 - 3. Which is bigger: l or d?
d
Let h be (27/(-18))/((-2)/12). Suppose 7*j + 12 + 2 = 0. Let x be j/(-3) + 0 - 6/h. Which is bigger: x or 2/3?
2/3
Suppose 3*p + 70 = 4*w + 230, -2*p - 3*w + 67 = 0. Which is smaller: 48 or p?
p
Let m = -16 - -10. Suppose -x + 13 = 0, 314*x = -0*g + 4*g + 311*x + 75. Is g greater than or equal to m?
False
Let u = 9/4004 - 14977/8444436. Which is bigger: u or -1?
u
Suppose 40 = -s + 4*m, -34 = 5*m - 14. Let q be 0 - 9/6*(-4)/3. Let i be q/(-14) + 104/s. Is 0.02 greater than or equal to i?
True
Let o(j) = j**3 + 10*j**2 + 5*j - 11. Let w(k) = k**2 - 13*k + 15. Let m be w(11). Let p be o(m). Do 101 and p have the same value?
True
Let z be (-31974)/(-5) + 1746/1455. Do 6394 and z have different values?
True
Let b(s) = s**3 - 9*s**2 + 9*s - 7. Let i be b(8). Let h = 0 - i. Let v = -6/11 + -4/33. Is h bigger than v?
False
Let a be ((-93)/(-12))/(16/192). Let v = a + -92. Which is smaller: 1/320 or v?
1/320
Let v = -1559 - -1560. Does v = 1.709?
False
Let k = 2 - 3. Let x be 1314/8*344/129. Let r = x - 8330/19. Which is bigger: k or r?
r
Let j be (-538603)/(-244790) + 99/(-45). Is j less than 1?
True
Let u = -667 - -683. Let h be (0 + 1)/((-1)/(-6)). Suppose u = s + h. Which is smaller: 11 or s?
s
Let b = 97263 - 10601670/109. Let y be 3/4 + (-2)/(-8). Which is bigger: y or b?
y
Let q = 2739 - 2549. Do -0.2 and q have the same value?
False
Let b be (-4 - -52) + 3 - 6. Is b > 48?
False
Let q = -2416 + 719. Is q not equal to -1697?
False
Suppose 3*k = 5*k - j - 2, -3*j - 2 = -2*k. Let s(b) = -b**2 + 3*b - 3. Let v be s(k). Let l be 18/(-15)*3/12. Which is greater: v or l?
l
Let z = 1141877/11158 - 1433/14. Let w = 18269/870324 + z. Is w at most 1?
True
Let d(v) = -119*v**3 + 4*v**2 - 7*v + 10. Let h be d(2). Let r = h - -936. Which is bigger: r or -3?
-3
Let d = -33 - -35. Suppose 20*t = 22*t + d. Let q be (0*3/(-6))/t. Is -1/32 at least as big as q?
False
Suppose 7*g + 3 = 10*g. Let y(v) = -10*v + 64. Let q be y(7). Which is smaller: g or q?
q
Let y = 3857 + -3971. Which is smaller: y or -1?
y
Let l = -3031 - -2591. Is -440 at most as big as l?
True
Let j = -73195/6 + 12191. Which is greater: j or -13?
j
Let l = -7/3 + 19/12. Let s be (-2109)/60 - (-4)/10. Let i = s - -35. Does i = l?
False
Let u = 1308 - 1281. Let b = -5 - 4. Let y(a) = -4*a - 10. Let q be y(b). Does q = u?
False
Suppose 12*r - 482 + 122 = 0. Let x be 20*2/(-6)*(-252)/56. Is r at least x?
True
Let r = -45 - -93. Suppose 0 = -50*m + 58*m + r. Let s = -272/1143 + 2/127. Are m and s non-equal?
True
Suppose -2*l + 3*t - 8 = 0, -5*l - 3*t = -0*l + 41. Let b be 34/l*56/(-24). Let a(x) = -2*x + 2. Let c be a(-5). Is b at least c?
False
Let g = -6.3 - -1.3. Let l = 4.7 + g. Does l = 0.08?
False
Suppose -5*m - 2*l - 11091 = 11186, 2*m = l - 8918. Which is smaller: m or -4458?
-4458
Let c(p) = 2*p - 10. Let n be c(6). Suppose 24 = 2*x + n. Let o be ((-69)/x - -3) + 3. Which is smaller: o or -2/9?
o
Suppose 13*i - 11 = 24*i. Let q(k) = 20*k + 15. Let h(z) = 13*z + 10. Let w(o) = 8*h(o) - 5*q(o). Let p be w(i). Which is smaller: p or 1/21?
1/21
Let q(g) = -70*g**3 - 9*g**2 + 4*g - 4. Let f be q(2). Which is smaller: f or -1780/3?
-1780/3
Let j = 4513 - 14410010/3193. Which is smaller: -1 or j?
-1
Let n(x) = -x**3 + 21*x**2 - 27*x - 23. Let k = 16 - -3. Let h be n(k). Let r be ((-190)/h - -1)/(3/9). Which is bigger: 0 or r?
0
Let z = -62.39 + 62. Let t = 0.404 + z. Let b = 0.586 + t. Which is smaller: b or 1?
b
Suppose 4*c - 30 = 7*c. Let x = c + 12. Suppose 5*l + x*h = 46, 7*l - 49 = 2*l - 3*h. Is 8 != l?
False
Suppose -11 - 13 = -6*l. Suppose 4*v + 2 - 6 = -l*m, 0 = -5*v - 4*m + 4. Suppose -2*b = -0 - 4. Is v smaller than b?
True
Let c = 4 - 5. Let r be 5/((-25)/(-3))*c. Suppose 21*l = 20*l. Which is greater: l or r?
l
Suppose -15*x + 9792 = -33*x. Which is greater: -562 or x?
x
Let a be (1/(-193))/((-61)/(-305)). Which is smaller: a or -1?
-1
Suppose 22 = 2*k + 3*g + 5, 0 = -4*g + 20. Let b be (0/1 + k)/(3/(-27)). Let j be ((-15)/b + -1)*-18. Which is smaller: j or -11?
j
Let p = 0.02 + 0.08. Let g = -0.05 + -15.35. Let f = g + 20.4. Which is greater: p or f?
f
Suppose 3*d + 4656588 = 2*z, 7*z = 4*z - 2*d + 6984856. Let u be (-4)/(-18) - z/2376. Let c = u + 980. Is -1 equal to c?
False
Let q = 3833 + -3833. Are 625.3 and q non-equal?
True
Let g be ((-1928)/15)/2 - (-12 + 171/15). Is -63 less than g?
False
Let x(p) = -6*p + 171. Let y(a) = -3*a + 85. Let n(g) = -6*x(g) + 14*y(g). Let t be n(25). Do t and 9 have the same value?
False
Let q = -11 - -10.84. Let n = q - -0.07. Let k = -9.24 - -9.44. Which is smaller: k or n?
n
Let g be ((-8448)/(-759) - 11)*(2 - (-2 + 24)). Is g equal to -2/39?
False
Suppose -r = -21 - 3. Suppose -r*y = -16*y - 8. Which is smaller: y or 115?
y
Let x(m) = m - 7. Let u be x(11). Suppose b - 8 = 2*v, 8 = 4*b + 2*v - u*v. Suppose -3*q - 11 = -2*j, 5*q - 7*j + 3*j + 21 = b. Is q at least 2/17?
False
Let s = 630 + -25832/41. Let o = 2.3 + 14.7. Let v = -17 + o. Is s < v?
True
Suppose 5*s - 2 = 4*s. Suppose 2*b + b + 71 = 5*y, 5*y = s*b + 49. Is b greater than or equal to -20?
False
Let w = 39 - 38. Let b be 7 - (-4)/((-2)/w). Suppose -3*l + 55 = b*f, -l - 25 = -6*l. Are 6 and f unequal?
True
Suppose 4*w - 8028 = 4*w - 4*w. Which is smaller: 2008 or w?
w
Let w = -498.4629 - -532.474. Let v = w + -0.0111. Is 1 < v?
True
Let q(x) = 0*x + 4*x + 0*x - 3*x. Let c be q(-6). Let u(b) = -b**3 - 7*b**2 - 6*b + 2. Let a be u(c). Is a bigger than 11/6?
True
Suppose 1478 = 6*r + 212. Let u = r + -196. Which is smaller: 49/3 or u?
u
Let v be -1 + 0 - (-2505552)/2562. Let s = v - 977. Which is greater: s or 1?
1
Let w(l) = l**2 + 12*l - 3. Let q(b) = -b**3 + 4*b**2 + 9*b - 3. Let z be q(5). Let u be w(z). Let i be (3/u)/(54/72). Is -1 >= i?
False
Let v = -47 + 55. Let t(f) = v*f + 22*f**2 - 30*f**2 + 7*f**3 - 8 - 6*f**3. Let a be t(7). Is a < -4/25?
True
Suppose -5*n - 5 = 5*c, -5 = 16*c - 19*c - n. Suppose 502 = 4*d + c*h + 155, -4*d + 357 = 5*h. Which is greater: 84 or d?
84
Let q = -34796 + 34797. Let f = 82.9 - 77. Is q at most f?
True
Let a(j) = 9*j + 5*j - 17 + 3*j. Let v be a(5). Let r = 60 - v. Which is greater: -9 or r?
r
Let j = -163.8 - -155.8. Which is bigger: -0.94 or j?
-0.94
Suppose -2*o - 447 = -86*z + 87*z, -1932 = 4*z - 10*o. Is z <= 5?
True
Suppose 73*s = 74*s - 5*x - 2729, 0 = 5*s + 2*x - 13726. Do 2744 and s have the same value?
True
Let r(i) = 911*i + 4239. Let u be r(-7). Is 2/9 at most u?
False
Let j be -1140 + -8 - (0 + -5). Let a be j/6*2 - 0. Does a = -381?
True
Suppose 227*b + 374 = 229*b. Let a be (b/22)/(3/6). Is a greater than 15?
True
Let v = 0.098 + -53.098. Let l = v + 83. Let p = l - -24. Which is smaller: p or 1?
1
Let i = -2676.05 + 2741. Let v = i - -0.05. Let a = v - 68. Is a bigger than -2?
False
Suppose -6*h = h - 23*h + 6960. Which is smaller: h or 441?
h
Let c = -0.1986 + -0.0951. Let q = -0.0363 + c. Do 6 and q have the same value?
False
Let r = 63 - -192. Let 