t k = -0.12 + s. Let a = -14 - -10. Is a <= k?
True
Let i = 19690 + -18523. Which is bigger: 1175 or i?
1175
Let f = -6.7 + 1.7. Let c = -5.68 - f. Let d = c + 0.78. Is d != 1.8?
True
Let c = -1.98 - -2. Let x = -3170.58 - -3171. Let q = x - c. Is q at least as big as -1?
True
Suppose 14 = 3*u - 4. Suppose o = u*o + 30. Which is smaller: -70/13 or o?
o
Let o = -587 + 563. Is -37 at most as big as o?
True
Let n be (-1)/3 + 78/(-9) + 10. Let a be 1/(-3) + 60/(-9). Which is smaller: n or a?
a
Let d be (-290 - 6)/(-2)*-2*3/(-8). Suppose 3*a - 559 - 11 = -5*q, 4*q = -5*a + 469. Is q less than d?
False
Let u(m) = m**3 + m**2 + 3. Let h = -15 - -10. Let t be (-3)/6*(-1 - h). Let g be u(t). Is g at least as big as -14/19?
False
Let f = 203 + -225. Let b be (-11)/(-6) + 33/f. Which is smaller: b or 1/45?
1/45
Suppose -2*n = n. Suppose -14*c - 8*c - 66 = 0. Let y be (n - 1/c)*36/(-14). Which is smaller: y or -1?
-1
Let b = -6.2433 + 6.2. Let i = 0.0893 + b. Which is smaller: -0.06 or i?
-0.06
Let r = 5.876 + -246.916. Let a = r + 241. Is a bigger than 0.9?
False
Suppose 520 = -5*v + 5*a, 6 - 3 = -3*a. Which is greater: v or 14?
14
Suppose 2*c = c - 13. Let w be ((-560)/(-15)*(-6)/4)/1. Let i be 2 - (w/(-21))/(1/6). Is i at least as big as c?
False
Let y be (-45)/(-6)*28/(-42). Which is greater: -2.8 or y?
-2.8
Suppose 111 = 3*c + 39. Suppose 30*x = c*x - 6. Is -1 bigger than x?
False
Let p = 68 - 67. Let l be p + (-10)/(-24)*4. Let k = 1 - 1. Which is smaller: l or k?
k
Let m = 6042 + -11208. Let s be (46518/m + 9)/((-12)/(-14)). Which is bigger: s or 1?
1
Suppose -109*x + 74074 = -35*x. Which is smaller: 1000 or x?
1000
Let m be (153/(-850) - (-2)/25)/(5 + 2). Let l(c) = c**3 - 4*c**2 + 3*c - 6. Let d be l(4). Suppose y = d*y. Is y > m?
True
Let q be (10 - 28/4) + 1*9. Suppose -q = -4*h, -4*h + 0*h + 44 = 2*u. Is 13 >= u?
False
Suppose 0 = -2*u + 5*r + 2 + 5, -4*u + 2*r = -22. Let w = -48490/11 - -4408. Is w less than u?
True
Let z = 3801.6 - 3806.6. Does z = 205/11?
False
Suppose -5*u - 5*l - 30 = 0, -16 = u + 78*l - 75*l. Which is smaller: 5/2558 or u?
u
Let j be ((-2)/(-6))/(852/1420). Is 31 less than j?
False
Let r(s) = -s**2 + 12*s - 24. Let d be r(9). Let x be 6 - (2 - d)*-4. Let q be (-4)/(-8) - ((-5)/x - -2). Is q at most as big as -1/164?
False
Let w = -346 + 354. Let z(h) = -h**2 + 10*h - 15. Let y be z(w). Let s = -62/3 - -21. Which is smaller: y or s?
s
Suppose -g + 2345 = -s, -12*s + 11683 = 5*g - 11*s. Do g and 7010/3 have the same value?
False
Let b(c) = -c**3 + 8*c**2 - 6*c - 13. Let r be b(7). Let p be (30/(-8))/((-9)/r - -2). Let q = 103/70 + p. Which is smaller: 0.11 or q?
0.11
Let c = -0.5 - -0.3. Let l be (42/(-8))/(17/68). Let p be (-2 + 15/7)*(-24 - l). Is p equal to c?
False
Suppose -3*x = -167 + 47. Let u(j) = 10*j**2 + 86*j + 12. Let q be u(-8). Let a = q + x. Which is greater: 0 or a?
a
Let y be (12 + -4 - 11) + 2. Which is bigger: 1/835 or y?
1/835
Let j = -1 - 1. Let y = -26675 + 26746. Which is bigger: y or j?
y
Let s = -597.0566 - -597. Let n = 0.3434 - s. Which is bigger: -8/3 or n?
n
Suppose 4*n - 1 = -s, -9*n - 23*s = -21*s - 2. Which is greater: -1/32082 or n?
n
Let z = 13048 + -13048.7. Are z and -754 equal?
False
Let i = 434 + -212. Let c(t) = 5*t + 95. Let j be c(-36). Let n be ((-153)/j)/(i/20). Which is greater: n or 1?
1
Let p be 2/((-38)/(-171)) - -89. Suppose 0*n + 196 = 2*n. Is p equal to n?
True
Suppose 5*b = -2*c + 133, 4*b + c - 107 = -0*c. Let t be -2 - (1*2 - (-135 - -16)). Let m = 152 + t. Is b > m?
False
Let g be -9 - 43/(1032/2016). Is g > -229?
True
Suppose -9*g + 73 = -35. Suppose -g*w = 2*w + 1400. Which is smaller: w or -99?
w
Suppose 0 = -35*c + 4*c + 5115. Let n be (-594)/c + (3 - -1). Is n < 20?
True
Let z be 1/(-4) - (-7005)/(-60). Suppose 19*s - 44 = -63. Which is smaller: z or s?
z
Let l(p) = -p**2 + p - 2. Let b = -3 + -1. Let f be l(b). Suppose -4*o + 4*w - 91 + 19 = 0, 0 = 5*o + 4*w + 108. Which is smaller: f or o?
f
Suppose 34 = g - 3*g. Let k = g - -16. Let b be -54 - -49 - (6/3 + 561/(-81)). Are b and k equal?
False
Let a be 1 + -1 + (-7695)/(-243). Which is bigger: -4 or a?
a
Let u be 30/77*(-56)/(208/(-26)). Is u >= -1?
True
Let o = 16067 - 75097157/4674. Let l = o - -63071/130872. Are -1 and l unequal?
True
Suppose 712*u + 15861 = -221*u. Let x be 2/((-24)/21)*10. Is x < u?
True
Let u be (((-18)/4)/(-3))/(219/(-52268)). Let c = u + 361. Do c and 8/5 have different values?
True
Let t(u) = 4*u - 64. Let k be t(23). Suppose 2*d = -4 + k. Suppose g = h - 1, -3*h + g - 3*g - d = 0. Is h at most -3?
False
Suppose 302 = 2*o + 3984 + 7502. Is -5591 at least as big as o?
True
Suppose -14*n + 67470 = 16*n. Suppose 0 = -9*v + n - 2312. Which is smaller: v or -13/2?
v
Let s = -383 - -359. Let q be (s/(-18))/1*(-636)/8. Which is smaller: -105 or q?
q
Suppose -4*c + v + 4403 = 896, 3*c = 3*v + 2619. Which is smaller: 874 or c?
874
Let q = 3376 + -3353. Which is smaller: q or 0.05?
0.05
Let g = 196 + -191. Suppose 7*a - 12 = -g*a. Is -2/81 equal to a?
False
Let q = 2914.4 - 2674.4. Is 12 at least as big as q?
False
Let z = -0.0579 + 0.0179. Let l = -26 + 36. Let v = 10 - l. Which is smaller: v or z?
z
Let z be 6*-1*18/(-12). Let s(q) = 8 + z*q - 2*q**2 - 23 + 11. Let o be s(4). Which is greater: o or 1/23?
1/23
Let l be (56/(-26) - -2)/((-414)/2691). Let u = 595 + 526/19. Let r = u + -623. Is l equal to r?
False
Let v(m) = m**3 + 52*m**2 + 94*m - 3. Let a be v(-50). Which is smaller: 298 or a?
a
Let m(t) = -602*t**3 + t**2 - 22*t - 24. Let g be m(-1). Is 601 <= g?
True
Let r(t) = -t**3 + t**2. Let j(h) = -4*h**3 - 4*h**2 + 32*h - 16. Let d(s) = -j(s) + 3*r(s). Let i be d(-11). Which is smaller: i or -0.1?
i
Let j = 17 + -33/2. Let n be (6/18)/(17/(-40800)*-4). Does n = j?
False
Suppose -2*k - 5 = -9. Suppose -3*j = -5*m + k, -3*m - 3*j - 6 = -6*m. Let x be (-32)/6 + 1 + 3. Which is smaller: x or m?
m
Let o = 10970 + -9514. Which is smaller: 10196/7 or o?
o
Suppose 0 = -4*d - 4*u - 188, u - 149 - 12 = 3*d. Which is smaller: d or -267/5?
-267/5
Let b = 1522 - 1527. Is b bigger than 320?
False
Let b = -159 + 194. Suppose 4*q - b = -19. Does q = 6?
False
Let y = -4 - 41. Let g = 72 + y. Let q = 20 - g. Which is smaller: q or -5?
q
Let h be (-3)/(-4) + (-1245)/(-20). Suppose 0 = 2*p - 4*u - 166, -h*p + 59*p + 3*u + 307 = 0. Is 75 less than or equal to p?
False
Suppose 0 = -4*d + 6*d - l - 24, -12 = -d + 2*l. Let n be (42/5)/(d/(-40)). Which is smaller: n or 1?
n
Let v = 578 + -609.4. Which is bigger: -1/2 or v?
-1/2
Let r be (18/(-3579) + 0)*1/3. Which is bigger: 0 or r?
0
Suppose -5*a - f + 13 = 0, -2*a - f + 8 = 1. Suppose -4*d + d + q = 7, -q = 4*d. Let r be d/(-4)*a*(-5)/10. Is 1.2 > r?
True
Let f be (816/(-123) + 4)*-1. Let g = f - 398/369. Let x be 4 + (-2)/(2 + (-20)/15). Which is smaller: x or g?
x
Suppose x + 5*a = -6 + 2, -3*a - 36 = -5*x. Let k(j) = -j**2 - x*j - 12*j + 3*j. Let d be k(-15). Is d greater than 2/15?
False
Let f be (128/80)/((-2)/(-5)). Let k be 105/(-28)*(-48)/10 - -4. Is k at most as big as f?
False
Let c(f) = 99*f**2 - 21*f - 22. Let v be c(-1). Let t = -79 - v. Is t less than -175?
True
Suppose 5*o - 2*t + 37 = -822, 0 = 30*o + 4*t + 5042. Which is smaller: o or 65?
o
Let w = -348 + 13223/38. Let r = 106787/266955 + -1/53391. Do r and w have the same value?
False
Suppose -3*i + 10 = -13*i. Let q be (i/810)/(10/40). Which is greater: q or 1?
1
Let p be (-264)/12 + (-8658)/(-26). Suppose 0*h + 2*h = 620. Which is greater: p or h?
p
Let i be 7/(-14)*(-2 - -4). Let m be (i/(-2))/((-1)/504*-12). Let l be (-2)/(-4) - 215/(-10). Are m and l equal?
False
Let x = 5653 + -5652.4. Is x greater than -20/27?
True
Let t(u) = 3*u**2 + 12*u - 42. Let g(j) = -j**2. Let f(s) = 6*g(s) + t(s). Let y be f(10). Is y equal to -222?
True
Suppose 4 = -13*u + 43. Suppose -u*p - 1 = -2*p. Which is bigger: -2 or p?
p
Let d be 1/3 - (-94)/6. Suppose 5*b = 3*m + 10, 2*b + 4*m - d + 38 = 0. Let s be (4/5 + 1)/(24/(-16)). Is s bigger than b?
False
Let a be (-22)/14 - -1 - 186/(-7). Which is smaller: 5/11 or a?
5/11
Let o be 2/15 + 57260/300 + -3. Let m = o + -210. Which is smaller: -26 or m?
-26
Let f = -940510/13 - -72298. Which is greater: -49 or f?
f
Suppose -5*y - j = 128 + 77, 5*y = 4*j - 230. 