on-equal?
True
Let x = 2234 + -2136. Which is smaller: 688/7 or x?
x
Let z be (-8)/(-12)*(-513)/(-6). Suppose 4*d + z = -7. Let i be d/(-12)*(-225)/6. Which is greater: i or -51?
i
Let m be ((-316)/3)/((-2)/(-21)). Let t = 25499007/13 - 1962569. Let s = t - m. Is s > -1/4?
False
Let m = -1.03399 + 1.05399. Let d = -0.2 + 0.18. Is m >= d?
True
Suppose -1312*n = -1305*n - 784. Do n and 121 have the same value?
False
Let q = -1 - 0. Let h be (-1 + (-18)/(-5))*(-63680)/6368. Which is bigger: q or h?
q
Let t(a) = -63*a + 4. Let b be t(-1). Let k = -66 + b. Let g be 6/8*(-26)/(-1131). Which is smaller: k or g?
g
Let k = -207 + 120. Let l = -44 - k. Let w = 62 - 19. Is w > l?
False
Suppose -6*s - 95 = 85. Let j be (-19)/(-76) + s/(-8). Suppose 48 = 2*i + j*i. Do 6 and i have different values?
True
Let l = -47.026527 + 0.032527. Let g = l - 0.006. Let j = g - -48. Is -0.3 greater than or equal to j?
False
Let z(j) = 2*j**2 + 4*j + 6. Let n be z(5). Let m = n - -54. Which is smaller: 131 or m?
m
Let t be 3 - (-7 + 2 - 195). Let j = t - 807/4. Which is bigger: j or 0?
j
Let k = 0.442 + 0.558. Suppose c - 102 = 30. Is k > c?
False
Let g(u) = -683*u + 2709. Let o be g(4). Which is smaller: o or -64?
-64
Suppose -86*m + 68*m + 1926 = 0. Is m greater than 117?
False
Let d = -2 + 2. Let s be 0 + -1 - d - -21. Let r be -15 - (-999)/(-74)*(-8)/3. Which is bigger: r or s?
r
Let g(j) = 5*j - 11. Let k(v) = 2*v + 1. Let u be k(4). Suppose -17 = -u*d + 73. Let t be g(d). Is t bigger than 38?
True
Suppose 3*j = -5*q - 480, 2*j = 3*q - j + 288. Let w = q - -132. Let b be w + 1 + 4 + -7. Is 34 greater than b?
False
Suppose f + 5*j = 5*f, 5*j = 0. Let s = 3 + f. Suppose -y = -4*t + 3*t - 45, s*t = 9. Which is smaller: y or 49?
y
Let i be (-5 - -2)/(-1*3/3). Suppose -10 + 45 = -5*z - 3*f, -5*f = -i*z + 13. Let d be (-2)/z - 106/196. Which is bigger: 0 or d?
0
Suppose -95 = 4*u + 97. Let w = u - -45. Let q be (-2 + 3)*-5*(w - -14). Are q and -54 non-equal?
True
Let p = -277.6 - -323. Let y = 28.4 - p. Which is smaller: 2 or y?
y
Let b = 0.7655 - -0.0245. Is b smaller than 1/2?
False
Suppose 0 = -5*m - 25, 5*y - m + 5*m + 10 = 0. Let v(t) = 3*t**3 - t - 5*t**3 - 3 - t + 7*t. Let q be v(y). Is q less than -4?
True
Let n(m) = -m**2 + 5*m + 25. Let g be n(-3). Suppose q - 2 + g = 0. Is q at least 6/11?
True
Let k = -50048/9 - -16682/3. Let s = 0.46 - 0.06. Which is bigger: s or k?
s
Suppose 4*f + 3*p + 5 = 0, 56*f + 4*p = 57*f - 13. Which is smaller: 2/17389 or f?
2/17389
Let d = 46624/1883805 + -2/7689. Let b = d - -221/980. Do b and -10.9 have the same value?
False
Let x be 4/22 + (-192)/(-638). Suppose 4*t + 2 = 2*k, -3 = -117*k + 114*k + 2*t. Which is bigger: k or x?
k
Let p = 40247 - 40248. Let h = -7939 + 3183541/401. Which is bigger: h or p?
h
Suppose -2*h + 5*i - 208 = 0, h + 4*i = 4*h + 333. Is h less than -121?
False
Let g = 6327 - 4306. Which is smaller: g or 2019?
2019
Suppose 0 = z + 5*h + 24, -z + 2*z + 14 = -3*h. Suppose -2*b - 5*v + 5772 = 2*b, 2*v = 3*b - 4329. Let d = b + -10085/7. Is z at least d?
False
Let k be ((1 - 3)/1524)/((-235)/423). Is k != 1?
True
Let c be (-2)/22 + (-49450)/550. Let v be 3/(-14)*20/c*6. Is v smaller than -0.013?
False
Let s be 13 + (30/(-8) - 9/(-12)). Let k = 0 - s. Let i(c) = c**3 - 5*c**2 - 5*c - 17. Let n be i(6). Which is smaller: n or k?
n
Let s = 6417 + -6471. Is 24 at least as big as s?
True
Let q = -763 + 1069. Let k = -305 + q. Is -103/2 less than k?
True
Let a = 3752 + -4449. Is -697 < a?
False
Let n = -31 - -43. Suppose -120*b + 19*b + 558 = 85*b. Suppose -b = -3*t - n. Is t > -26/9?
False
Suppose 34 = -4*o - w, 6*w = -2*o + 2*w - 24. Let r(z) = z**3 + 7*z**2 + 9*z + 47. Let d be r(o). Which is smaller: -87 or d?
d
Let r be 1992/(-581)*(-2)/(-8). Let h(m) = m**3 - 6*m**2 + 6*m - 4. Let j be h(5). Let o be (2/(j - -1))/(-1). Which is bigger: o or r?
r
Let o(v) = -6*v**2 + 15*v + 444. Let m be o(15). Is -685 at most as big as m?
True
Let m be (-13 - (-154)/7)*-5. Is m greater than -133/3?
False
Let m be (-2)/((-42)/9) - 957/(-462). Let u be (-1360)/714 + (-4)/42. Which is greater: u or m?
m
Let t be (20/30)/(2/6*-2). Suppose 5*z + 20 = 0, 0 = g - z + 20 - 8. Let k be 16/(-14)*g/96. Is k not equal to t?
True
Let z(n) be the second derivative of -14*n**3/3 + 14*n**2 + 2*n - 9. Let c be z(9). Which is greater: -225 or c?
c
Let a(w) = -w**3 - 3*w**2 + 25*w + 62. Let o be a(-8). Let z = 363/2 - o. Which is bigger: -1 or z?
z
Suppose -5*u - 5 = 0, -2*m + 1 + 2 = 3*u. Suppose m*j = 5*d - 13, 2*j + 4 = 3*d + 4*j. Suppose -14*t + 13*t = d. Which is smaller: t or -16/13?
t
Suppose 2*o - 14*a + 12*a = -18, -5*o = 3*a + 13. Which is smaller: o or -2?
o
Let c(n) = 8*n - 184. Let s be c(27). Suppose 4*d = 5*l - 12, -3*l + s*d = 29*d - 9. Are l and -7/34 unequal?
True
Let h be 326/890 + 16/(-40). Let i be 1*(-4)/(-6)*(-43)/((-1634)/(-57)). Is h less than i?
False
Let s = 771 + -1025. Let w = s - -536. Which is smaller: 283 or w?
w
Let y = -16452 + 16446. Which is smaller: 1 or y?
y
Suppose 132*u - 972 = 25*u - 13384. Which is greater: -818/7 or u?
u
Suppose -2*j + 32 = -8. Suppose 2*y - 20 = -j. Let d = 2619/374 + -78/11. Which is smaller: d or y?
d
Let f(o) = 4*o + 56. Let t be f(-11). Suppose 0*h + 17 = h + j, 3*j = 4*h - 40. Does h = t?
False
Let r = 12.49 + 1. Let o = 14.2 - r. Let q = -0.61 + o. Which is greater: 0.11 or q?
0.11
Let n = 9/5 + -2. Suppose 2*j - j + 19 = 2*y, -3 = 3*y. Let m be j/18*4/(-21). Which is smaller: m or n?
n
Let q(x) = x**3 - 3*x**2 - 4*x + 6. Let d be q(4). Let y be (-74)/1*-3*(-1)/d. Suppose 9 = 2*w + 5*u + 106, 0 = -w + 5*u - 11. Which is smaller: w or y?
y
Let c be 4499 - ((-10)/15 + (-14)/(-21)). Which is smaller: c or 0.1?
0.1
Let s = 135741 + -2226559626/16403. Which is smaller: s or -1?
-1
Let m = 7.846 - -4.92. Let f = m + 0.234. Which is greater: f or 6/5?
f
Suppose 5*q - 4 = 866. Suppose 5*y - b + 3*b - q = 0, 2*y - 2*b = 64. Let c(k) = k**3 + 2*k**2 - 5*k + 4. Let i be c(3). Do i and y have different values?
False
Suppose -35*f + 34*f - 4 = 0. Let a be (10/f - -3)/((-34)/(-240)). Which is greater: 4 or a?
4
Let m = -8.7 - -7.1. Let x = m - -1. Suppose 3*i + 3*t - 1 + 7 = 0, 5*i + 3*t = -4. Is x <= i?
True
Let w = 0.03 - 0.13. Let d = -9.52 + 0.52. Let n = d - 19. Is n less than w?
True
Let p = -0.1059 - 505.8941. Let g = -530 - p. Is g > 0?
False
Let s = -0.0281 - -0.0713. Let o = s + 7.9568. Which is greater: 14 or o?
14
Suppose 16*l - 19*l + 4 = -u, u = -1. Which is smaller: 10/271 or l?
10/271
Let u = -78 - -138. Let c be (150/250)/((-8)/10 - -1). Which is greater: c or u?
u
Suppose -5*w = 25, -4*y + 3*w = -y + 141. Suppose 5*m - 145 = -4*i + 65, -4*i = 4*m - 168. Suppose -m*j = -32*j + 510. Which is smaller: y or j?
y
Let h = 0.05 + -4.05. Let r = 9307.2 - 9307. Which is smaller: r or h?
h
Let h(s) = 30*s - 36. Let v be h(1). Let r be v/(-30) + 2712/(-860) + 3. Which is bigger: 0 or r?
r
Suppose 4*g = 12, -v + 24*g - 20*g - 1385 = 0. Does -1374 = v?
False
Let o = -82 - -88.9. Let a = o + -13.9. Let y = 9 - 10. Is a <= y?
True
Let u be 671/330*8*(-27)/2. Are -220 and u equal?
False
Let k be (8/(-12))/(20/(-6)) + (-85)/((-15725)/(-32227)). Let q = -406 + 232. Is k at least q?
True
Let d = 21.3728 - -0.0172. Let c = d - 21. Let y = c + -0.29. Is 21 smaller than y?
False
Let o(j) = j**2 + 18*j + 22. Let y = -2 + -14. Let k be o(y). Which is smaller: -55/6 or k?
k
Let s = -4263 - -4340. Suppose -4*k = 4*z, 3*z + 2*k + 2*k = -2. Is z bigger than s?
False
Let o be -2 - (1 + -56 + 1). Let t = o - 18. Suppose -3*d - t = -31. Which is bigger: d or -1/101?
-1/101
Suppose 0 = r - 48*y + 47*y - 5663, 2*r + y = 11326. Is r less than or equal to 5663?
True
Let y be (-5)/(-3) - ((-706)/96)/(247 + -248). Does y = 3?
False
Suppose 1 - 8 = 7*r. Let y be 232/(-12) - 1/(-3). Let x be 73/(-134) - y/38. Which is smaller: r or x?
r
Let x(j) = -j + 16. Let z be x(14). Suppose 5*m = 4*k - 1, -2*m = k - 4*m + z. Let p(r) = -8*r + 15. Let g be p(k). Which is smaller: g or -14?
g
Let h(w) = 13*w - 66. Let v be h(5). Let f = -595 - -215. Let z = f - -36858/97. Which is greater: z or v?
z
Let k be (-48)/36*45/2*-6. Let v = k - 177. Are v and 21/5 nonequal?
True
Let c = 183480 + -183525. Let u(v) = -2*v - 1. Let j