ller: -60/7 or n?
n
Suppose 0 = 6*p - 1788 + 156. Let j = 258 - p. Which is greater: j or -92/7?
-92/7
Let j be ((-12)/33)/(-1*4/2). Let g be 1 + -3 - (-60)/25. Which is smaller: j or g?
j
Let f = -17 + 17. Suppose f = 5*r + 67 + 73. Which is greater: r or -31?
r
Let x = -0.04 - -20.04. Let j = -10 - x. Let f = -36 - j. Which is bigger: f or -0.1?
-0.1
Suppose -y + 1108 = 2*z + 938, 3*y + 4*z = 528. Is 158 < y?
True
Let u be (-160 + 162)*5/(-2) - 1*181. Is -184 less than or equal to u?
False
Let s(x) = 7*x**2 + 30*x - 206. Let c be s(-8). Suppose 4*b + 35 = -41. Let d = 28 + b. Which is bigger: d or c?
d
Let m = 261590 + -1827122/7. Which is greater: 574 or m?
574
Suppose 3*f + 112 = 2*s, -2*f - s = -25 + 102. Let v = 64 + f. Suppose 5*i - 45 = 85. Is v less than i?
False
Suppose -4*v - 6*a + 3*a + 155 = 0, a = 5. Is v less than 2/49?
False
Let r be 0 - (2 - (2 - 3 - -192)). Suppose -176*v = -r*v + 13. Which is smaller: v or 2/939?
2/939
Let u be (-26)/(-156)*45/24. Which is bigger: 6 or u?
6
Let u = 6 + 6. Suppose 5*x = 7*x - 18. Suppose -x*h = -u*h - 3. Are 1/20 and h equal?
False
Let l = -65428621/1187 - -55121. Is l greater than 1?
False
Let b = -173.22 + -22.88. Let v = 196 + b. Is 73 >= v?
True
Let z = -856.67 - 2.33. Let x = 875 + z. Is 1/17 less than or equal to x?
True
Let q(y) = -4*y**2 - 3*y + 20. Let d be q(-9). Is d smaller than -277?
False
Let z(k) = 2*k**2 + 4*k - 3. Let w(v) = v + 28. Let c be w(23). Let u = c + -50. Let y be z(u). Is 0 smaller than y?
True
Let b be 1684/18 - 1027/(-79). Is b at least as big as 108?
False
Let w = -13342.055 - -13333. Which is smaller: 2 or w?
w
Let v(j) = 39*j - 156. Let y be ((-30)/12 - 1)*-2. Let a be v(y). Are 116 and a nonequal?
True
Suppose 11 - 1 = 2*o. Suppose -o*v = -0*v + 5. Let y be (-9)/2*v*(-28)/2. Are -63 and y equal?
True
Let s = -29.47 - -0.47. Let x be 25*16/(-240) + (-4)/(-6) + 0. Is s at least x?
False
Suppose o + 5 + 4 = -4*z, 3*o = z + 12. Suppose -n + 2*g = 13 - 6, 2*n - o*g = -12. Let y = 0.03 - 1.03. Which is greater: y or n?
y
Let r = 3636 - 39972/11. Is -6 < r?
True
Let u(z) = 156*z**2 - 11699*z - 113. Let h be u(75). Let t be ((-20)/5)/(2/16). Which is bigger: t or h?
t
Let q be 500 + -502 + (-22)/33 + 1212/9 + 3. Let d be 814/6 + (-2)/(-6). Is d at most q?
False
Let d = 2535 - 6177. Which is bigger: d or -1?
-1
Let l = -9887 + 39391/4. Suppose -2*o = -5*y - 204, 210 = -0*y - 5*y + 5*o. Which is smaller: y or l?
y
Let l be (96/(-80))/(4/(-10)). Let g be -3 + (6 - l) + (-33)/7. Let f(o) = o**2 - 2*o - 20. Let m be f(5). Which is bigger: g or m?
g
Let i = 235 - 232. Suppose -7*t + 290 = -10*t - j, 12 = i*j. Is -97 > t?
True
Suppose -5*p - 418 = -8*r + 5*r, -276 = -2*r + 2*p. Let t be -268*-1*(-4)/8*-1. Is t <= r?
True
Suppose 249*i + 142 = 3*s + 245*i, i = 5*s - 265. Which is bigger: 494/9 or s?
494/9
Let l = 11 - 2. Let i = -1180 - -1191. Suppose -l*a = -i*a. Is 2/15 less than or equal to a?
False
Let k = 5837 - 6522. Which is greater: -0.3 or k?
-0.3
Let t = -356 - -361. Suppose x + 9 = n, -6*n + n - t*x = -35. Suppose -3*j = -2*j - 6. Is j < n?
True
Let u(o) = o**3 - 34*o**2 + 146*o - 26. Let g be u(29). Which is bigger: g or 81/52?
g
Let a = 600763003/4250 + -141356. Is 1 <= a?
False
Let t = 28931 + -30671. Which is smaller: -1742 or t?
-1742
Let r = 1.75 + 18.25. Let u = 20.1 - r. Are u and -76 equal?
False
Let g be (2/(-18))/(5/10) + (-3840)/(-17040). Suppose 2*m = -m - 3. Which is smaller: m or g?
m
Let b = 787 + -788. Which is bigger: b or -2/36007?
-2/36007
Suppose 5*q - 52 = 3. Let t(k) = 36*k + 374. Let u be t(-10). Which is smaller: u or q?
q
Let v(d) = 4*d + 46. Let k = -125 + 115. Let f be v(k). Is 5 equal to f?
False
Let r = 50 - 47. Let k be 3 + (r - 0/(-4)). Let s be 2*(2/k)/(-1). Which is smaller: s or -2?
-2
Suppose -3*z = -109 + 73. Let a be (-8)/(64/z) + (-25)/(-10). Let g be 1 + (0/2 - 40). Is a greater than or equal to g?
True
Let w = 77 + -87. Let j be w/(-5) + (-1)/1 + 3. Suppose j*n = 2*q, 9 = -2*q + 2*n - n. Which is bigger: -8 or q?
q
Suppose 753 + 331 = -4*j. Which is smaller: -2 or j?
j
Let m be (-8)/80 + 138/(-20) - -20. Let d be (-10)/(-2)*6/10. Suppose -2*a = d*z - 43, 4*a = -4*z + 30 + 50. Which is greater: m or a?
a
Let v be 1 + 35 + 4 + 1. Let d(n) = -v + 230*n**2 + 28*n - 232*n**2 + 16*n. Let i be d(22). Which is greater: -39 or i?
-39
Let o(y) = -y**2 - 5*y + 5. Suppose -127*c - 4 = -129*c. Let b be o(c). Are b and -67/7 nonequal?
True
Let p be 1895/100 - 8/(6 - 7). Which is greater: p or 27?
27
Let c(v) = -v**2 - 11*v + 16. Let s be c(-12). Suppose -s*a + 0*a = -2*r, 4*a + 8 = 3*r. Suppose 15*b - 14 = 13*b. Is b less than or equal to r?
True
Let w = -2449 + 3578. Which is greater: w or -0.2?
w
Let g be 206*5 - (43 - 40). Which is greater: g or 1026?
g
Let s = 13050 - 6851252/525. Suppose 0*i = 13*i. Is i < s?
False
Let u = 2539 - 2539.0562. Is 2/9 greater than or equal to u?
True
Let o be ((11676/18)/14)/(3/(-9)). Is o equal to -1119/8?
False
Let p = 2323 + -2366. Is p greater than -43?
False
Let w(a) be the first derivative of 1/3*a**3 + 2*a**2 + 3*a + 22. Let d be w(-1). Which is smaller: d or -47?
-47
Let b = -115 + 141. Suppose 0 = 5*n - 36 + b. Suppose -t + 57 = -2*j, -5*j = n*t + 78 + 51. Which is smaller: j or -30?
-30
Let s be (-12)/(-5) + 119/(-35). Which is greater: -2/1451 or s?
-2/1451
Let z = -587/5 + 117. Let w = 29.4 + 157.6. Let p = 186.78 - w. Do p and z have the same value?
False
Let f be 0 + -1 - (136104/13611 + -11). Let d = f - 9252/403793. Is d at least as big as -1?
True
Let a = 29337/37 + -793. Let n = 3412 - 3412. Is a less than n?
True
Suppose -40*x - 1503 + 143 = 0. Does -281/8 = x?
False
Let f = -1.87 + 181.87. Let h = 182 - f. Are -0.057 and h nonequal?
True
Let f be (-2)/2 - 5/((-5)/(-1526)). Let q be (-7 - (-4 - 5)) + f/763. Is 1 bigger than q?
True
Suppose 2*o - 5*t = -0*t - 29, -4*o + 2*t = 18. Let k = -183 - -195. Suppose a = w, -k = -4*a - 3*w - 5. Is a less than o?
False
Let b be (-2)/((-24)/(-238)) + 3. Let f = 58/3 + b. Suppose -d + 14 = 4*i, 2*d - 3 = -3*i + 10. Does f = d?
False
Let f = 103.1 + 275.9. Let v = 365 - f. Suppose -4*a = 4*w, -a - 2*a - 6 = -3*w. Is a equal to v?
False
Let z = -3934 - -4249.2. Let i = z + -315. Which is greater: 1.5 or i?
1.5
Let f(z) = -25*z - 412. Let i be f(-17). Suppose 1206 = -i*j + 19*j. Is j at most 202?
True
Let g(r) = -21*r - 1613. Let a be g(-6). Which is smaller: -7428/5 or a?
a
Let c be -7 - (-19)/(209/88). Which is smaller: 28/101 or c?
28/101
Let o = 156 - 236. Let y = o - -81. Is 0.11 greater than or equal to y?
False
Let o(i) = 5*i**3 - 1. Let c be o(-1). Let d be (-1)/3 - 107/c. Which is smaller: d or 17?
17
Suppose -182*y + 172 = -10. Is y <= -146/85?
False
Let k be 8/(-446)*(-288 + 287). Are k and -2/3 non-equal?
True
Suppose 0*l + 2*l = 3*b - 5, -3*l = -3*b + 9. Let q = 8964 - 7090525/791. Is q bigger than b?
True
Let u = -372 - -259. Let p = -4893 + 4894. Is p <= u?
False
Suppose 4*v = -5*i + 355, -3*v + 90 = 2*i - 45. Let d = i - 73. Suppose 7*u - 6 = -5*p + 4*u, -12 = -p + 3*u. Is d less than or equal to p?
True
Suppose 47 = 3*v + 32. Suppose -v*w = -9*w + 4. Are -42 and w nonequal?
True
Let y be (-12)/(-27)*(-16)/(-160). Suppose 2*u = u + i + 6, 0 = 3*u + 3*i. Suppose -6*s = -u*s + 3. Is y smaller than s?
False
Let a be 8195/(-64600) + (-1)/(-153) + 9/81. Which is smaller: a or -1?
-1
Let v be (0/(-1))/(10/25*5). Which is smaller: v or 12/479?
v
Let f(g) = -g**3 + 11*g**2 - 18*g - 11. Let s be 4/7 + (-310)/(-70). Suppose 0 = 4*m + 5*r - 46, 3*m - s*r - 31 = -14. Let y be f(m). Which is bigger: -13 or y?
y
Let d(c) = 2*c + 17. Let f be d(-33). Suppose -2*m - 5*k = 0, -3*k = -m + k. Suppose -p + 5*q - 55 = m, -p - 25 = q + 24. Is f < p?
False
Let s = -285.18 - -917.14. Let o = s + -632. Which is smaller: o or 49?
o
Let y = -172 - -173. Suppose -3*m = -4*f - y, -2*m = -0*m - 5*f - 10. Suppose -14 = 3*q + 4*v, -5*q + 2*v - 19 = 13. Which is smaller: q or m?
q
Let s = 19775 - 19628. Is s greater than 139?
True
Let y be (42/(-15))/((-68)/(-340)). Which is smaller: 1/10 or y?
y
Let k = -68805/17 - -4045. Suppose 6 = 10*x - 12*x. Which is greater: k or x?
k
Let n(m) be the second derivative of -m**3/6 + 13*m**2/2 - 3*m. Let s be n(-6). Let r = 