 - -1323.969. Which is smaller: 7 or v?
v
Let h(n) = -51*n + 5. Let f be h(-1). Suppose -5*t - 6 + f = 0. Which is greater: 12 or t?
12
Let b be -4 + (3 - -20) + 1. Suppose -b = 4*z, 0 = -5*r - 2*z - 3*z - 190. Let q be (1 - 3) + (-12)/r. Is -3 less than or equal to q?
True
Let w be -3*(0 - (-6)/63). Let c = -31.1 + 31.5. Is c > w?
True
Suppose -q + a - 951 = -2*a, -4831 = 5*q + 4*a. Is -961 >= q?
True
Let g = 7904414 - 490043849/62. Let s = g - 481. Which is smaller: 0 or s?
s
Let g(f) = 3*f**3 - f**2 - f + 2. Let o be g(2). Suppose 0 = -3*i - 4*c + 547, -3*i + c = -4*c - 592. Suppose 6*r + 3*r = i. Does r = o?
False
Suppose -5*p - 2*x = -17, -p - 4 = 2*x - 1. Let l = -0.3 + 0.1. Is l at most as big as p?
True
Let s(q) = -17*q**2 + 2*q - 2. Suppose 0 = 3*v + y - 4, 3*v = -v + y + 3. Let g be s(v). Let h = g - -29. Which is smaller: h or 11?
11
Let f be (1 - 12/9)*8. Let n = 58 - 55. Which is smaller: n or f?
f
Let w(h) = -h**2 - 25*h - 25. Let l be w(-19). Let u = l + -90. Is -0.11 at most as big as u?
False
Suppose -4*y + 4*o = -o + 2, -5*o + 18 = 4*y. Suppose 11 = 3*l + y*x - 5, 0 = -5*l + x + 5. Suppose l*g = -0*g - 3*b - 22, 0 = -g + 4*b. Is g equal to -9?
False
Let x = 412103318842/209275 - 21661146/11. Let b be (2/(-3805))/(2/(-10)). Let v = x + b. Are v and 1 non-equal?
True
Suppose 7*y - 4*y = 4*z + 31, -2*z = 3*y + 11. Suppose 9*l - 8*l + 4*b = -10, b + 31 = -5*l. Is l greater than z?
True
Let m be 32/336 + 4/(-42). Which is greater: 2/383 or m?
2/383
Suppose 4*h - 4 - 4 = 0. Let v be (-6)/(-10) + h/1. Are 3 and v equal?
False
Let g = 6306/5 + -1257. Let r be 2/12 + (-85)/150. Is r != g?
True
Let i(u) = u**3 - 17*u**2 + 17*u - 10. Let p be i(16). Let l be ((-16)/(-126))/(p/(-9)). Which is smaller: 1 or l?
l
Let l(t) = -t**2 + t + 3. Let a be l(2). Is a at most 2/1467?
False
Let t(f) be the third derivative of f**5/60 + f**4/8 - f**3/6 - 14*f**2. Let b be t(-5). Is 10 >= b?
True
Let y = 41.8 + -42. Suppose 12 = -2*o - 0*o. Which is smaller: o or y?
o
Suppose -10 = -5*t + 5*j, t + 14 = 5*t + 2*j. Suppose 0*u - 24 = t*u. Let p be (u/162)/(12/18). Which is greater: p or 1?
1
Let g = 710/23 + -31. Suppose -2*x = -7*x - 5*l - 35, 0 = 3*x + l + 27. Let d be (-104)/130 + 2/x. Which is greater: g or d?
g
Let u = 613/3 + -204. Which is greater: u or -183?
u
Suppose 5*w = 3*h - 3424, -4*w - h - 1534 - 1195 = 0. Is w at most as big as 2/7?
True
Let u = -42 - -46. Suppose 2*a - u*a + 16 = 0. Which is bigger: 4 or a?
a
Let l = -22 - -21. Let j be (-12)/(-3)*(l + 0). Is j at least as big as -2?
False
Suppose h - 3*u = 6, -2*h + 3*u + 4 = -2. Is h at most as big as -3/80?
False
Let w(d) = 2*d + 26. Let c be w(-11). Suppose 0 = -5*l + 10, -c*z + 9*z - l + 2 = 0. Which is greater: z or -5/11?
z
Let p = -25.87 - 1.13. Which is greater: -5 or p?
-5
Let l = 24 + -14. Let k = 251 - 481/2. Which is smaller: k or l?
l
Suppose -2*u - 5*i + 29 = -0*u, i - 1 = 2*u. Let q be 104/(-32) + u + 1. Suppose -3*y = 2 + 1. Which is smaller: y or q?
y
Let s = -2 + 4. Let f = 47 - 40. Let g be (1/f)/(4/40). Is s equal to g?
False
Suppose -5*o - 170 = -2*j - 12, -4*j - 4 = 0. Let d be o/(-1128)*6/(-4). Is 0 <= d?
False
Let z be (1 + 1)*(-3)/30 - 3. Let g = z - -121/30. Is g equal to 0?
False
Let v be 2301/23484 - (-12)/(-114). Do v and 0 have the same value?
False
Let a = -0.1209 - -51.1209. Which is smaller: 10 or a?
10
Let w be (4/1)/(-2)*12. Let x = w + 8. Suppose m + j + 2*j = -11, 5*m + 5*j + 75 = 0. Which is greater: x or m?
x
Suppose -4*x = -x - 36. Suppose z + 0*z = 1 + 9. Do z and x have the same value?
False
Let j be ((-24)/(-27))/4 - 1612/(-36). Suppose 0 = l + 39 - j. Does l = 9?
False
Let t(c) = -c**2 - 10*c + 4. Let k be t(-13). Let j be ((-6)/(-28))/((-10)/k). Is 0 greater than j?
False
Let m be ((-3)/(-6))/(2/(-200)). Let d = 39 + m. Suppose -5*s = -v + 58, 0 = 5*s - 0*s + 5*v + 70. Is s at most d?
True
Let w = -883 - -790. Which is smaller: -88 or w?
w
Let r = 1.98 + -1.1. Let y = r + 0.12. Let w = -1 + 0.3. Which is greater: y or w?
y
Let d be (-17)/(-17)*((-3 - 7) + 9). Suppose 306 = r - 341. Let t = r - 9701/15. Which is greater: t or d?
t
Let x = -20 + 25. Suppose 2 - 12 = x*p + h, -h = p - 2. Suppose 4*j = 3*w + 13, -j - 4*w = w + 14. Which is smaller: j or p?
p
Let q(h) = -h + 1. Let b(d) = -d. Let p(s) = 6*b(s) - 5*q(s). Let i be p(-6). Which is smaller: 0 or i?
0
Let g be (1/2)/(1/(-2)). Let c be (-15)/3 + 2 - -3. Suppose 0 = 2*z + 4 - c. Is z >= g?
False
Suppose -2324*g = -2332*g - 1104. Is g less than -140?
False
Let u = -190 - -472. Which is smaller: u or 2?
2
Let h(x) = -5*x**2 + 15*x - 2. Let l be h(3). Is -37/18 less than l?
True
Let y = -202.7 - -203. Let t be (-6)/(-9)*2/(-4). Which is greater: y or t?
y
Let i be 50/(-525) + 64/966. Is i at most -0.1?
False
Suppose -c = -20*c - 64*c. Let a = 325/4 + -13971/172. Which is smaller: a or c?
c
Suppose 0 = 18*k - 12*k + 48. Let g = 0 + -5. Which is greater: k or g?
g
Let q(s) = s**2 + 2*s + 1. Let u = -20 - -17. Let o be q(u). Which is bigger: 3 or o?
o
Suppose -b - 7 = 7. Let m be (3/(6 - 3))/(2/b). Which is smaller: -28/5 or m?
m
Suppose 34*c + 9 = 31*c + 2*f, -4*c - 19 = -5*f. Is -1/369 at least c?
True
Let q = 26312 - 184540/7. Let u = q + 50. Is u less than or equal to -1?
False
Suppose a = -a + 6. Suppose a*o - 5 = -2. Let n = 21 - 1031/49. Which is smaller: o or n?
n
Let h(i) = i**3 + 9*i**2 - 12*i - 20. Let v be h(-10). Suppose -3*y + 25 = -4*b - 15, v = 5*y. Do b and -2 have different values?
True
Let d(b) = -2*b**3 + 8*b - 7. Let f be d(1). Suppose i - 4*i = 0. Which is greater: f or i?
i
Suppose r - 2 = 2*t, -2*t + t = -5*r + 46. Let m be ((-20)/(-100))/((-12)/r). Which is smaller: -0.7 or m?
-0.7
Let f = -21 + 23. Let o be 0 + (-4)/(4/3). Let v = -1 - o. Is v at least as big as f?
True
Let l = 1019 + -1019. Is l less than 13/25?
True
Let v be 4/(12096/417) + 16/(-144). Which is bigger: 0 or v?
v
Let n(w) = w - 11. Let c(y) be the first derivative of -y**2/2 + 12*y - 4. Let q(l) = 4*c(l) + 5*n(l). Let f be q(10). Which is smaller: f or 1?
1
Suppose -3*w - 972 = -2*b, b - 61 = -5*w - 1694. Are -326 and w equal?
True
Suppose 630 = 57*s + 174. Do s and 11 have the same value?
False
Suppose -x + 24 = 2*u - 82, 156 = 3*u + 3*x. Suppose 53 = 2*v - 55. Is v > u?
False
Let h be 16/(-7) + 1 - (-50)/175. Is -1 smaller than h?
False
Let s(x) = -x**2 + 8*x + 2. Let f(p) = -7*p**3 + 2*p**2 + p. Suppose 4*j + j + 5 = 0. Let a be f(j). Let z be s(a). Does z = 2?
True
Let r be (-4)/10*7 + 0. Let t = 3722 - 3726. Which is smaller: r or t?
t
Let d be (15/(-30))/((-4)/2192). Which is smaller: d or 273?
273
Suppose 2*f + 13 + 1 = -4*m, -4*f + 3*m = 50. Let p be (70/(-20))/((-2)/4). Let i = -17 + p. Which is smaller: i or f?
f
Suppose 13 = 4*t - 15. Let r be 4/112 + (-2)/t. Let z = -4.4 + -0.6. Is r equal to z?
False
Let h = -19/105 - -1/21. Suppose -3 = -2*p + 1. Suppose 3*o = p*o - 1. Is h greater than o?
True
Let k be -3 + 3*(-4)/(-6). Suppose 0 = 4*a + 90 + 54. Let z be (8/a)/(2/(-4)). Is z <= k?
False
Let q(c) = 2*c**2 + 13*c + 5. Let l be q(-6). Let y be ((-3)/4)/(294/(-112)). Are y and l non-equal?
True
Let c(n) = -n**2 + 25*n - 19. Let p be c(22). Suppose 0 = -5*k + 4*x - 0*x - 181, 3*x - 12 = 0. Let f = k + p. Is 14 > f?
False
Suppose -22 = -5*r - 2*u - 20, -2 = -r - 2*u. Which is bigger: -21/25 or r?
r
Let b(y) = -3*y**3 - 9*y**2 - 7*y + 11. Let i be b(-3). Does -2 = i?
False
Let l = 38 - 32. Let s = 9 + l. Suppose s*t = 10*t - 15. Is t not equal to -5?
True
Let h be (16/6)/(7/(3864/(-16))). Let i = h - -91. Let n(b) = -b**2 - 6*b - 5. Let l be n(-4). Is i smaller than l?
True
Let g(l) = 336*l + 18. Let t be g(2). Let r be (-5)/t*4*-1. Let s = 2 + -1. Is s <= r?
False
Let b = -39289.017 - -39308. Let f = b - -0.017. Which is smaller: 1/3 or f?
1/3
Let y = 1 - 1. Let x be 34/(-3)*(-14)/500. Let t = 2/125 + x. Is y >= t?
False
Let i = 188 - 167. Is -4/5 smaller than i?
True
Suppose 0*s - 5*s + 30 = 0. Let a be 266/11 - 2/11. Let d = 32 - a. Are d and s non-equal?
True
Suppose 5*d = -96 - 379. Let y be 1*10/d*2. Which is greater: 0 or y?
0
Let z = -0.26 + 0.34. Let x = -3.08 + z. Let t = 5 + x. Which is greater: t or 9?
9
Let b = 362 - 324.2. Let t = 38 - b. Which is greater: 8 or t?
8
Suppose