 a or j?
j
Let y = 563087612/391 + -1440121. Let j = y + -19/17. Suppose 0 = -4*z + 11*p - 6*p - 14, p = 2. Is j smaller than z?
False
Suppose -22*b + 41 + 465 = 0. Which is greater: -76 or b?
b
Let c(l) = l**3 - 5*l**2 + 2*l + 2. Let m be c(4). Let z be 1/((-9)/m)*-12. Suppose h + 7 = -2*a, -2*h - 2 = -5*a + 12. Which is greater: h or z?
h
Let y = -1157 + 1214. Which is greater: 63 or y?
63
Let m = 8597 - 8597. Which is greater: m or 1/5017?
1/5017
Let h(i) = 8*i + 54. Let c be h(-5). Suppose c*d + 1131 = 109. Which is smaller: d or 0?
d
Let v(a) = -a**2 + 2*a + 11. Let u be v(0). Suppose 0 = -12*w + u*w + 70. Let z be (-158)/w + 1 - 6/(-15). Is -2 >= z?
False
Let h(p) = 24*p**3 + 13*p - 22. Let s be h(2). Which is smaller: s or 193?
193
Let n be ((-1)/103)/((-5)/(-10)). Suppose 326 = 19*f - 529. Suppose 0 = -f*r + 43*r + 2. Which is greater: r or n?
r
Let p = -73 + 73. Are p and 2/4289 unequal?
True
Let k = -2635 - -2221. Are k and 1 unequal?
True
Suppose 35 + 973 = -6*u. Which is greater: u or -673/4?
u
Suppose 1169 = 21*s + 3836. Is -137 < s?
True
Let s(y) = y + 5*y**2 + 1 - y**3 - 21*y**2 + 14*y**2. Let z be s(-1). Is 9/25 less than z?
False
Suppose 2*y = 3*y - 11. Let w = y - -3. Let o = 6899/510 + -7/255. Is o at least as big as w?
False
Suppose -y - 7 + 2 = -5*u, 0 = u - 5*y - 25. Let v be (0 - -1)*(-3)/327. Do u and v have different values?
True
Suppose 35*n - 41*n - 2886 = 0. Let x = 471 + n. Which is smaller: -53/5 or x?
-53/5
Suppose 37*k - 62760 = -63*k - 20*k. Which is greater: 504 or k?
k
Suppose -8*a - 2*w = -3*a - 19, -w + 5 = a. Let u be 5 + ((-15)/(a - 0) - 0). Which is bigger: 10/47 or u?
10/47
Let f = 1182208/49515 - 30/3301. Which is bigger: f or 23?
f
Suppose v = -v + 412. Suppose -3*a - 34 = -c, 5*c + 4*a = a + v. Which is bigger: c or 41?
41
Let n(q) = 10*q + 21. Suppose 0 = 13*u - 10 + 36. Let f be n(u). Which is smaller: -1/1190 or f?
-1/1190
Let c = 31615.4 - 31638. Which is smaller: 1/2 or c?
c
Let z be (-2)/(-1)*105/(-2). Let o be 2/(-9) - ((-23582)/(-234) - -1). Is o greater than z?
True
Let s = 0.3709 - -4.6291. Is -13/11 at most as big as s?
True
Let d(k) = 3*k**2 + 27*k - 2. Let t be d(-9). Let i be (-1)/20*t*(-67 + 13). Suppose -2*h + s = -3*s + 16, 2*h - 3*s = -15. Which is bigger: h or i?
i
Suppose 0 = 97*t - 197 - 1225 - 130. Which is bigger: -43 or t?
t
Let w = -37284829/25491 + -7/25491. Is -1462 <= w?
False
Let h be 2*(-313 - -3 - 0). Let q be (-2)/(-7) + h/1925. Let j = -27 - -26. Does j = q?
False
Let m be ((-572)/33)/(30/45). Suppose -6*i = -i. Let p be (81/6 + i)*-2. Which is greater: m or p?
m
Let q = 1021392/17 + -60063. Which is smaller: q or 19?
q
Let f = -0.527 - -24.427. Let w = f + -24. Let a = 1.17 + 19.83. Which is bigger: a or w?
a
Let r = 12 + 163. Let m be (-2)/(144/9)*2. Is m > r?
False
Suppose -247*v + 357*v = -309*v + 6448829. Is v less than 15392?
True
Let t = 302 + -270. Let n be (t/(-36))/(-4) + (-3170)/9. Which is bigger: -351 or n?
-351
Let t be 265/(-24) - 3*((-420)/(-36) + -10). Which is smaller: t or -16?
t
Let b(i) = -21*i - 8. Let a be b(-7). Let n = 138 - a. Which is bigger: n or -2/227?
-2/227
Suppose 7*i - 5*i + 76 = 0. Let m = i - -40. Let f(g) = 2*g - 5. Let s be f(m). Is -3 > s?
False
Suppose q - 6 - 18 = 4*x, 0 = 5*q - 4*x - 56. Suppose -q*f + 9*f = -9. Let w be ((342/20)/f)/(3/18). Which is smaller: w or -10?
w
Suppose 5*u - 4680 = -4*l, -3*u + u + 8 = 0. Suppose 53*v = 5036 + l. Which is smaller: 115 or v?
115
Let i = -9650 - -9649.77. Is i greater than 68?
False
Let s = 9.7 - 19.3. Let t = 7.9 + s. Which is smaller: t or -5/6?
t
Let f be 3/(-4) - 231/(-84) - 27/12. Which is bigger: f or -1?
f
Let p be 6062/20 + (-9)/90. Let o = 267 - p. Which is bigger: -35 or o?
-35
Let n = 27.109 + -0.109. Let o = n - -85. Let d = o - 109. Is d less than 0.24?
False
Suppose -4*o + 9*o = -10. Let p(t) = -2*t + 2. Let h be p(o). Suppose 2*d - 2 + h = 0. Which is smaller: d or -4/7?
d
Let x = -14267/207 - -616/9. Let n = x + 191/207. Let k(s) = -s**3 + s**2 - s + 1. Let y be k(0). Is n <= y?
True
Let b(j) be the second derivative of j**4/6 - 4*j**3/3 + 5*j**2 + j - 1. Let n be b(4). Is n > 4?
True
Suppose -13*m - 48*m = 61. Let h be 5 - (m + 2)/(30 + -29). Is 57/14 at least as big as h?
True
Let p(m) = -m**2 - 9*m + 8. Let f be p(7). Let r be ((-224)/24 - -7)/(2/90). Is r at least f?
False
Let c = -15.91 - -16. Let t be -3*(-4)/(-18) + 77 + 4. Let o = t - 967/12. Which is greater: o or c?
c
Let f(k) = k**2 - 7*k + 7. Let a be f(5). Let b(g) = -g**3 + g + 0*g**2 + 2 - 7*g**2 + 4*g**2. Let i be b(a). Which is greater: i or 4/9?
4/9
Suppose 10*z + 11*z = 11277. Let h = -538 + z. Is h greater than or equal to -2?
True
Let w = 177598 + -5505537/31. Let c(q) = q + 7. Let y be c(-6). Which is bigger: y or w?
y
Let r be (-34935)/170 + ((-1)/(-2))/1. Which is smaller: r or -212?
-212
Suppose 14529 + 16015 = 46*w. Is 663 less than w?
True
Let j(g) = -2*g**2 - 55*g - 168. Let b be j(-24). Is 9/1162 at most as big as b?
False
Let h be ((-9)/21)/((-3)/(-2)). Let p(i) = i - 17. Let o = 120 - 107. Let b be p(o). Is h < b?
False
Let t be -10 - (1 - 6/2). Let a be t + 4 + 6 + 6. Is a equal to 98/11?
False
Let h(s) = s**2 - 4*s - 2. Let m be h(-4). Suppose 15 = 3*g, -l = -g - 4*g + m. Suppose 0 = 2*f - 8*w - 38 + 110, 5*f = -2*w + 18. Which is greater: f or l?
f
Let t be 2*1/(-2) + (-378783)/4131. Let v = -1470/17 - t. Which is smaller: v or 5?
5
Let w be (72/525)/(0 - 45/150). Which is smaller: w or 0?
w
Let o = 12/89 + 142/267. Which is greater: o or 72?
72
Suppose 5540*y + 258 = 5564*y + 9498. Which is bigger: 4 or y?
4
Let z = -3007 - -3263. Is 256 != z?
False
Suppose -23*z + 8*z - 45 = 0. Suppose -4*q + 8 - 32 = 0. Let w be (-16)/12 + 4/q. Is w less than or equal to z?
False
Let o = 31887 - 31701. Are o and 84 nonequal?
True
Let n = -194 + 199. Suppose -n*i - 49 - 7 = -3*k, 5*k = -15. Is -10 at least as big as i?
True
Let l(v) = -12*v**2 - 19*v - 8 + 11*v**2 + 28*v. Let w be l(8). Which is smaller: w or -3/14?
-3/14
Let l = -0.5 + -1.1. Let a = -40.4 + l. Let p = a - -44. Is 2 >= p?
True
Let s = -109 - -94. Let g = -168 - -155. Which is smaller: g or s?
s
Suppose -832 = -4*n + 4*d, 3*n + 0*d - 628 = 5*d. Let s be ((-86)/15)/(-2) - n/(-1545). Let m = 635/7 - 87. Which is smaller: m or s?
s
Let j be 20/(-175) + (-1)/(-5). Let q = -241 - -161. Let y = q - -80. Which is greater: j or y?
j
Let i be 8/2 + 0 + 12. Suppose -5*q = -5*u + 20, -u + 4*q + i = u. Suppose u = -o + 4*o. Which is greater: o or -9?
o
Suppose 0 = 2*f - 68 - 20. Let q = f + -34. Let s(l) = -l**3 + 9*l**2 + 7*l + 4. Let z be s(q). Are z and -27 unequal?
True
Let h = 10 - -11. Let n(k) = k**2 + 14*k - 915. Let m be n(0). Let f be m/(-140) - (6/h)/1. Which is bigger: f or 6?
f
Let p = -586 - -11131/19. Let i be ((-40)/32 - 13) + 1/4. Let v be 4/(-10) + i/(-35). Are v and p non-equal?
True
Let s(f) = -f - 7. Let x be s(-6). Let n be (-1 + 14/10)*54/(200718/(-315)). Is x smaller than n?
True
Let b(t) = -8*t**3 - 20*t**2 - 8*t - 34. Let n(r) = -7*r**3 - 21*r**2 - 7*r - 33. Let v(k) = -6*b(k) + 7*n(k). Let a be v(-27). Which is smaller: a or 2/395?
a
Let d be -5 - (-2 + 3 - 11). Let f be d/(-20) + 225/516. Let j = f - 142/301. Which is greater: j or 6?
6
Let s(v) = 218*v + 3489. Let g be s(-16). Which is smaller: g or -7/25?
-7/25
Let f(d) = -8*d**2 + 49*d - 273. Let v be f(5). Which is bigger: v or -2500/11?
-2500/11
Suppose 3*c + b + 1428 = 0, 7*c = 4*c - 2*b - 1431. Let w = c - -290. Let q be 2 + -6 + w/5. Is q at least -41?
True
Let b = -935629/77 - -85964/7. Is 129 >= b?
False
Let v = 67.21 + 0.79. Let d = v + -76. Let m = -58 + 60. Is m equal to d?
False
Let n = 15677 - 15368. Do n and 315 have the same value?
False
Suppose -5*s - 33 - 77 = 0. Let f(w) = w**3 + 11*w**2 + 11*w + 25. Let l be f(-9). Suppose 46 = -t - t + 2*i, 4*t + l = 2*i. Is t greater than s?
True
Let s = 3240 + -532. Is s greater than 2707?
True
Let j be 1188/(-22 + 13) - -3. Which is smaller: j or -136?
-136
Let q(v) = v**3 - 28*v**2 - 6*v - 43. Let b be q(28). Suppose s - 849 = 4*n, -417 = -23*n + 25*n - 3*s. Which is smaller: n or b?
n
Let i = 116 + -220. Let s be 2/(-9) - i/387. Let h be (-8)/(-2) - (-15)/(-5). Which is smaller: h or s?
s
Let k = 1867 - 1