t u = k - -94. Is u greater than -3/4?
False
Let p = -1013 + 1963/2. Let f = p - -31. Which is smaller: f or 6?
f
Let p = 116 + -114. Is p greater than or equal to -0.046?
True
Let w be 289/2 + 1/2. Let i be (-2)/(-12) - w/(-30). Let d = 4 - i. Is -4 at most d?
True
Let l be (10 - 36/3) + 56/26. Is l at most -9?
False
Let k(v) = v + 12. Let u be k(-6). Suppose -77 = u*i - 23. Suppose 2*y + 3*n + 29 = 0, -3*y + 2*n - 34 = y. Do i and y have different values?
True
Suppose 819 + 4077 = -4*j. Let k be 6/(j/412) + 2. Is 1 at most as big as k?
False
Let w = 133 + -76. Let l = w - 56. Which is smaller: l or -6/7?
-6/7
Let i(w) = -9*w**2 + 152*w + 9. Let p be i(17). Let d be ((-2)/3)/(1/12). Is p <= d?
True
Let i = -462.024 + 462. Is -2 not equal to i?
True
Let p be -10 - (-110)/(-20)*-2. Which is bigger: p or -4/215?
p
Suppose -6*u - 182 = -56. Let x = -30 - u. Suppose 2*o + 14 = -0*b - b, 3 = -o. Which is smaller: b or x?
x
Let i be (84/(-49))/(-3 - -5). Is i >= 8?
False
Suppose 5*n + 4*r = 108, -42 = -2*n - 4*r + 3*r. Let m be n + 2/(0 + -1). Which is smaller: 16 or m?
16
Let m = -2 + 0. Let h be -2 + m/24*-14. Suppose 3 + 4 = -7*s. Which is smaller: s or h?
s
Let i be 0 + (1 - (-5)/(-8)). Let u(k) = -k**2 - k + 1. Let x(n) = -2*n - 5. Let y be x(-3). Let w be u(y). Which is greater: w or i?
i
Let n = 22 + -6. Let r be ((-33)/(-6) - (-3 - -9))*-2. Is r less than n?
True
Let s be (-1 - -3)/((-4)/(-10)). Suppose t - 2*t - 3*x = 3, 0 = -2*t + s*x + 16. Is 7 >= t?
True
Let w(v) = -v**2 + 3*v + 1. Let x = -84 + 87. Let r be w(x). Which is smaller: r or -2/49?
-2/49
Let v be (-4 - -2) + 7/1. Is v < 11?
True
Let v = 74614/25 - 2985. Is v greater than -1?
True
Suppose -2*p = p - 3*f + 18, -2 = -3*p - f. Suppose 43*x = 46*x + 42. Which is smaller: x or p?
x
Suppose 350 + 1611 = 53*z. Is z at least 38?
False
Suppose -3*y - 6 + 0 = 0, -2*c - y = 2. Suppose -5*h + c*h - q + 1 = 0, 0 = -2*h + q - 1. Which is smaller: h or 3/13?
h
Let d = 792 + -2375/3. Are 254 and d unequal?
True
Let q = 10 - 11. Let b = 2/3 - 4/15. Is q less than b?
True
Suppose 2*i = x + 8, 5*x + 10*i - 35 = 5*i. Does x = 40?
False
Suppose -2*b + 0 = -h - 1, b - 3*h = 8. Are 8/497 and b non-equal?
True
Let v be 4*(-3)/18*-3. Let m(j) = j**2 + 5*j + 6. Let o be m(-5). Suppose -o*y + 2*y - 4 = 0. Which is bigger: y or v?
v
Let x = 0.58 - 0.68. Which is smaller: -75 or x?
-75
Suppose 0 = -n + 3*g - 27, -30 = 3*n - g + 59. Let q be 1/((6/87)/(-2)). Is n smaller than q?
True
Let n = 1508 + -1509. Which is bigger: -1/523 or n?
-1/523
Suppose -2*o + 12*o = -50. Let r be (20/5)/(-40)*o/3. Is r at least as big as 4/5?
False
Let y = -1 - 2. Let f be 1*(y - 3/33). Let x = f - -260/77. Which is greater: x or 1?
1
Let b = 3 - 2. Let l be (-4)/6*(-4 + 3 + -80). Let c = -435/8 + l. Which is greater: c or b?
b
Let x = 2 - 4. Let v be (-4)/12 + 3/9. Suppose v = -8*n - 2*n + 10. Which is greater: x or n?
n
Let g = 23879 - 23880. Suppose 0*q - 1390 = -5*q. Let v = 5559/20 - q. Are g and v nonequal?
True
Let r(q) = -5*q**2 + 13*q - 4. Let y(b) = b**2 - b - 1. Let f(u) = -r(u) - 4*y(u). Let m = -244 + 252. Let h be f(m). Which is smaller: -4/3 or h?
-4/3
Let t = 94 - 59. Let i = -35.2 + t. Let h = 1 - 0.9. Is h at least as big as i?
True
Suppose -5*m - 45 = 4*l, 2*l + 20 = 3*l - 5*m. Let s(y) = 6 - 17*y + y**3 + 29*y - 5*y**2 - 2*y**3 - 11*y. Let n be s(l). Which is bigger: 6/11 or n?
n
Let z = 21 - 23. Let p be -1 + z + (-3 - -7). Let y = 87/50 + -6/25. Which is smaller: p or y?
p
Let s(j) = 16*j + 1023. Let g be s(-64). Let p = -265/664 + 2/83. Is g < p?
True
Let f = -83 + 83.175. Let u = f + -0.375. Let t = -4 + 1. Is t equal to u?
False
Suppose 2*w - 8 + 0 = 0. Suppose -4*j - 2*s + 6 = -8, -5*s = w*j - 5. Suppose -18 = j*z - 3. Is -3 < z?
False
Let g = -31.6 + 30. Let b = g + 1.1. Which is bigger: -3 or b?
b
Suppose 5*g + v + 39 = 0, 3*g = 3*v + 14 - 23. Is g at least as big as 6?
False
Let r be (-2)/(-14) + (-1379)/49. Which is greater: -53/2 or r?
-53/2
Let d be (111/(-60) - -2) + (-25)/(-100). Is d at least as big as -31.7?
True
Let y be 2/(-8) + 185/20. Suppose y = k + 5. Suppose 7*p = 3*p + 16. Is k at most as big as p?
True
Let q be (-5*3/16)/(31 - 1952/64). Let v be 1/1*(-1)/4. Do q and v have the same value?
False
Let d(k) = k**3 + 6*k**2 + 15*k + 6. Let m be d(-3). Let h = -11557/5 - -2299. Which is greater: m or h?
m
Let g(c) = c - 3. Let d be g(-7). Let r = -4 + -5. Is r greater than or equal to d?
True
Suppose 4*u - 141 - 67 = 0. Suppose b = 2*b + u. Let l = b - -209/4. Is l at least 1?
False
Suppose 0*i = i + 97. Let z be i/5 - (-2)/5. Which is smaller: z or -18?
z
Let b = 914 - 916.6. Let p = -5/4 - -3/2. Which is greater: p or b?
p
Let f be (16/10)/((-2)/10). Let t be (-220)/6 + f/24. Which is smaller: t or -38?
-38
Suppose 30348 = 31*h - 33698. Is h equal to 2067?
False
Let b = 75 - 74.923. Let i = b - 0.167. Is -0.7 > i?
False
Let d = -1 - -2. Let y(b) be the second derivative of b**3/6 - 7*b**2/2 + 11*b. Let l be y(11). Is d equal to l?
False
Let n = 463 - 236. Is 226 >= n?
False
Suppose 107 = 6*g + 137. Suppose i - 6*i + 5 = 0. Which is smaller: g or i?
g
Suppose 1606*h - 1 = 1605*h. Do h and 13/197 have the same value?
False
Let h(i) = 4*i - 124. Let a be h(25). Is a <= -20?
True
Let p = 1203926/915 + -3946/3. Let b = p + -2/5. Which is smaller: b or 1?
b
Let d = 4.74 - 5. Let w = -0.74 + d. Let r = -7 - -6.81. Which is smaller: r or w?
w
Suppose 2*a - 3*i = 486, -25 + 993 = 4*a - 5*i. Which is greater: a or 238?
238
Let k be ((-12)/(-126) + 0)/(3/(-171)). Which is smaller: k or -5?
k
Let z be (-1 + ((-2475)/(-815))/3)/2. Are z and 1 nonequal?
True
Let j = -23 + 25. Suppose 2*x - 48 = -j*m + 6*m, 0 = -4*x - 8. Which is bigger: 0 or m?
0
Suppose 0 = -12*h + 7*h - 10, 8 = j - 4*h. Which is smaller: 3/179 or j?
j
Let y = -580 + 2299/4. Let j = 16 + -22. Is y <= j?
False
Let i be -219 + 0/(3*(-24)/18). Is i less than -221?
False
Let a be 40/3 - 2/6. Suppose 5*h + 378 = 32*h. Which is smaller: h or a?
a
Suppose -u + 4*u - 60 = 0. Suppose -u + 0 = -4*v. Suppose -w + 0*w = -5*k - 5, -w + v = 4*k. Which is greater: k or 2/25?
2/25
Suppose -4*m = -m + 3*o - 120, o = -5*m + 196. Does m = 40?
False
Let t(i) = 3*i + 41. Let n be t(-13). Let m be 28/21 - (n - 0/(-1)). Which is bigger: -1.3 or m?
m
Let j = 1676 - 67043/40. Which is bigger: j or -2/3?
j
Suppose -702 = -78*z + 105*z. Is -10 < z?
False
Suppose 13*w - 72 - 227 = 0. Which is smaller: 19 or w?
19
Let m = -16.3 + 17.3. Let v = -0.9 + 1.3. Is m not equal to v?
True
Let h(q) be the second derivative of 11*q**3/6 + q**2 - q - 7. Let j be h(3). Is j greater than 37?
False
Let i be (72/(-15))/((-12)/80). Let k be (1 + 1)*12/i. Which is bigger: 2 or k?
2
Let t = -33 + 32. Suppose -2*a + 5 = -4*i + 1, -3*i = -a + 6. Let l be 0 - 1 - 2/a. Is t bigger than l?
False
Let j(h) = 18*h - 339. Let f be j(-20). Is 2/3 <= f?
False
Let h(u) = -2*u**2 + 17*u - 11. Let b be 12 + 0 - (7 - 3). Let t be h(b). Let a(m) = -m - 2. Let s be a(t). Is s > 3?
False
Suppose -62*t - 118 = -60*t. Is t at most as big as -58?
True
Let u be (-232)/(-12) + (-4)/(-6). Suppose 4*l = 6*l + u. Suppose -4*v = -5*j + 26, 4*j + 8 = -2*v + 9*j. Which is smaller: v or l?
l
Let v = -0.1371 + -127.8629. Is -0.02 smaller than v?
False
Let q be (-1)/(4/(-2340)*-5). Let f = 117 + q. Are -15 and f equal?
False
Suppose -7*d - 128 = -380. Is d equal to 44?
False
Suppose 4 = h + 6, -4*h - 177 = s. Is -169 less than s?
False
Suppose 9*y - 3*y = 1152. Let s = -590/3 + y. Let h(o) = 5*o + 1. Let q be h(-1). Which is smaller: s or q?
s
Let y = 17 + -17.039. Let i = y + 0.099. Is i at most 0.2?
True
Suppose -4 = -4*g - 2*t, -2*g = g - 4*t + 19. Which is smaller: g or 8/283?
g
Let i be 3 + (-16)/(-6) - 6. Is i equal to -46/21?
False
Let b = -0.6 + -4.4. Let a(l) = l**2 - 2*l - 11. Let h be a(4). Let v be 1/6*(h - 1). Which is greater: b or v?
v
Let z = 528 - 528.1. Which is bigger: 1/16 or z?
1/16
Let u(g) = -7*g**3 - 24*g**2 - g + 15. Let w be u(-7). Which is bigger: w or 1246?
w
Let v = -0.0743 + -0.2157. Which is greater: v or -3/2?
v
Let i = 28.3 + -28. Is 17 not equal to i?
True
Let k = -280 - -279.36. Which is greater: -1/2 or k?
-1/2
Let f(j) = 2*j + 31. Let y(z) = 2*z + 30. Let g(l) = 4*f(l