ger: z or 8?
8
Suppose 85 = 55*l + 30*l. Are l and 1/1307 unequal?
True
Let f be (-31 - (-3 - -1))*-1. Suppose -83*q - 62 = -85*q. Is q less than f?
False
Suppose 0 = 5*l - 3*h + 67, 5*h + 2 = -4*l + 2*l. Let y = -7 - l. Suppose 4*k = -b + 17, -y*b + k + 2 = -3*b. Which is smaller: b or -0.1?
-0.1
Let l = 18124.4 + -18125. Let k = 55 + -27. Which is bigger: k or l?
k
Let n = 1447/4 + -10077/28. Which is smaller: 1/4 or n?
1/4
Suppose 4*f = -f + 65. Suppose 22 = 2*j + 3*q, 3*j - 17 - f = -3*q. Which is smaller: j or 15/2?
15/2
Let o be 1*(-8116)/28 + 1/(-7). Let s = o - -257. Is -28 at least s?
True
Let s = 7147652/177 + -40382. Which is greater: s or -1?
s
Let b(k) = 5*k**2 - 13*k - 38. Let q be ((-9)/(-15))/(1/(-5)). Let t be b(q). Which is smaller: 47 or t?
t
Let o(y) = -52*y**2 + 8*y - 1. Let m be o(-1). Let r = m - -200. Which is smaller: r or -1/4?
-1/4
Let m be 126/(-56)*4/18. Is 1215 not equal to m?
True
Let q(b) = 2*b - 10. Let l be q(-5). Let g = -22 - l. Let d be (g/1)/(-1) + 114/(-63). Which is bigger: 1 or d?
1
Let p be (8/2)/((-2)/(-365)). Let o = 205 - 192. Suppose -o*w + 3*w - p = 0. Is w at most as big as -74?
False
Suppose 53*j - 49*j = -124. Let n be (-23 - j) + -206*2. Is -405 smaller than n?
True
Let w(z) = 3*z - 24. Let o = -123 + 116. Let q be w(o). Is -45 <= q?
True
Let z = -5945 - -5939.91. Is -11 <= z?
True
Let g be 0 - (2484/9)/3 - (-10)/2. Is g > -105?
True
Let d(o) = o**2 + 65*o - 813. Let w be d(-62). Is w equal to -997?
False
Suppose 4500 = 61*h - 79*h. Which is bigger: h or -13?
-13
Let v be -30*((-72)/(-40) - (0 + -3)). Let b be (v/54)/((-6)/(-9)). Which is smaller: b or -14/5?
b
Suppose 3*p + 1713 - 1716 = 0. Let k = 4 + 5. Let n(h) = -h + 11. Let s be n(k). Which is greater: p or s?
s
Let t(r) = 7*r + 95. Let g be t(-8). Suppose 4*h - 5*h - g = 5*d, -3*h + 3*d - 45 = 0. Do h and -2 have different values?
True
Let r = 284 - 379. Let n = r - -95.3. Let f = -2 - -2.1. Which is greater: n or f?
n
Let v be (-3)/(3/(-2)) + -2 + 16. Suppose -2*l + 6*l + v = -2*c, 0 = 5*l + 20. Suppose -2*s - 5*o = 94, 3*o + 24 + 108 = -3*s. Is s not equal to c?
True
Suppose 183*g = -41080 - 34316. Which is smaller: g or -419?
-419
Suppose -2*v - 2*v = -i - 11, 0 = -4*v + 8. Let o be 406/49 + -4 + (-2)/7. Let r be (-25)/(50/(-8)) + o/(-1). Which is smaller: r or i?
i
Let x = 2337521/4 + -584369. Let c be 1/2 - (-21)/2. Which is greater: c or x?
x
Let z be 6/(-628)*(-4736)/144. Let q = -3/157 - z. Let a = -9764/9 - -1086. Which is smaller: q or a?
q
Let r = -62 + 62. Suppose r = 6*i - 10*i - 424. Let m = -531 - -425. Is m smaller than i?
False
Let z = 28360 - 30352. Is -1997 <= z?
True
Let s be ((-2)/(-764))/((-4)/16). Let v = -689 - -690. Are s and v non-equal?
True
Let r be (27 - 37) + 2*(-2)/(-2). Let s be r*(-6)/(-12) - 7. Do -12 and s have the same value?
False
Let a = -3/18547 - 481895/2021623. Which is greater: a or -1?
a
Suppose 0 = 4*j + 3*t - 730, 3*t - 2*t + 186 = j. Let i = j - 131. Do i and 52 have the same value?
False
Let i = 310 - 309.9208. Let r = i - -0.0208. Let x = 9.3 + -1.3. Which is smaller: r or x?
r
Let d = 6 - -7. Let z = d + -3. Let o = -1401 - -12607/9. Is o smaller than z?
True
Let r = -53 + 51. Let s be 0 + r/5 + (-894)/15. Let g be (-4)/1 - s/4. Which is smaller: g or 10?
10
Let c = 19.712 + 68.388. Is -8 <= c?
True
Suppose -112 = -23*t - 66. Let a = 4 + -2. Let i be a + (-10 - t/(-1)). Is i >= -5?
False
Suppose z - 2*v = 120, -5*v - 173 = 3*z - 511. Suppose -10*q + z = 96. Do 9/13 and q have the same value?
False
Suppose 0 = -3*k + 5*k - 14. Let y = 472 + -469. Suppose y*v = -a - 43, -3*a + k = 19. Which is smaller: -12 or v?
v
Suppose -93 = r + 3. Let x = 552 + -649. Which is greater: r or x?
r
Suppose 365 - 696 + 382 = -51*x. Is 251 >= x?
True
Let o be ((-5)/3)/((-327386)/46767 + 7). Do o and 4585 have the same value?
True
Let a = -89 + 68. Let v = 537 + -539. Is v <= a?
False
Let k = -11432 + 11426. Is -121/20 equal to k?
False
Let c = -36.1196 - -36.22. Do c and 2/9 have the same value?
False
Suppose -33*n = -30*n - 147. Let l = 52 - n. Suppose l*h - 1 - 14 = 0. Which is greater: 35/8 or h?
h
Let v = 11.66 - 16. Let i = v + 10.3. Let a = 6.1 - i. Which is bigger: a or -1/2?
a
Suppose 2*c + 5*z = -13, 5*c = 2*z - 12 + 52. Suppose -c = -k + 6*h - 9*h, -5*k = 5*h - 40. Let y be (1/k)/((-14)/525). Which is bigger: y or -5?
y
Let o = -2.15 - -0.15. Let r = 2523.2 - 2535. Is r bigger than o?
False
Let b(t) = -t**3 - 24*t**2 + 4*t + 96. Let y be b(-24). Is 5255 bigger than y?
True
Let q = -103 - -115.6. Let r = q + -12.4. Which is smaller: r or 47?
r
Let j = -127 + 130. Let f be (222/(-30) - j)/(2/5). Which is bigger: -30 or f?
f
Suppose 0 = 4*d - i - 13, 14*d - 16*d + i + 5 = 0. Suppose v - 1 + 0 = d*x, 2*x = 4*v - 4. Are v and -0.223 non-equal?
True
Let i be ((-3)/92132)/((-636)/1696). Is 1 >= i?
True
Let f be (-1 + 109 - 0)*((-752)/(-32) - 18). Is 2966/5 bigger than f?
False
Let n = 1526 + -1527. Is -4/1805 bigger than n?
True
Let x be 13 + 41/(-278)*(107 - 13). Which is smaller: x or -1?
-1
Let q be 4/(-7) - (1018191/(-1596))/(2/24). Are 7655 and q equal?
True
Let r = -10 - -1778. Let p = r + -35343/20. Which is greater: 2 or p?
2
Let t = 485 - -127. Let x = t + -611.85. Which is bigger: x or -1.1?
x
Suppose 0*q + 5*q + 319 = 4*k, 0 = 4*q - 20. Suppose 0 = 2*c + 3*s + 5, -k*c - 1 = -82*c - 3*s. Let i = -48158/43 - -1120. Are i and c non-equal?
True
Let s be (1*(-266)/5)/((-52)/650). Is s at least 666?
False
Let i(w) = w**3 - 7*w**2 - 6*w - 13. Let s be i(8). Let h(k) = k**3 - 3*k**2 + 2*k - 3. Let o be h(s). Let z(v) = v**2 - 8*v + 9. Let c be z(6). Does o = c?
False
Let l = -1340 + 1373. Do -8 and l have the same value?
False
Suppose -b + 18039 = 3*s, -s - 20*b + 19*b = -6011. Is s at most as big as -0.1?
False
Suppose -110*i + 163236 = 9*i + 64*i. Is i at least as big as 892?
True
Let f = -467609/3 + 155875. Suppose -3*k - 15 + 5 = -z, 18 = 3*z - 3*k. Is z equal to f?
False
Let w(j) = -j**3 - 6*j**2 - j + 6. Let x be w(-6). Let f be ((-16)/(-2))/((-8)/x). Let m be (-2)/f - 8/48. Which is smaller: -1/27 or m?
-1/27
Suppose -15 = 2*g + 3*i, 3*g + i + 3 = 3*i. Let b(f) = -2*f + 7. Let m be b(5). Is m <= g?
True
Let c be (22/12*-2)/(2/(-12)). Let x = c - 25. Let j be (-3 - x)/(-2 - -3). Is -8/13 > j?
False
Suppose 95*t - 7 = 102*t. Which is greater: t or -45/26?
t
Let d = 2.01 + -0.01. Let b = 0 + d. Let p = 2234.99 - 2235. Which is greater: p or b?
b
Let w be 36/(-27)*2*42/(-8). Suppose 4*r + 6 = w. Which is bigger: r or -2?
r
Let r = -154 - -154. Suppose -9*l + 3 - 12 = r. Which is smaller: 3/19 or l?
l
Let h = -0.18557 - -23.25557. Is h smaller than 3?
False
Let w = 6.654 - -0.946. Let o = 1/91 - 193/1001. Which is greater: w or o?
w
Suppose 0 = -4*a - 3*x - 29, -4*a + 0*x - 34 = -2*x. Suppose -81 = n - 80. Let v be n/(7/98 - a/(-14)). Are 11/6 and v unequal?
True
Suppose -2*p = -719 - 77. Suppose 35*t + 805 = 9085 + 5650. Is p greater than t?
False
Let n be (-17 - (68 + -8))/((-4)/(-8)). Does 23 = n?
False
Suppose 3*w = -4 + 19. Suppose -w*v - q + 690 = 3*q, 2*q = v - 152. Let n be (-1)/5 + v/60. Is 2 at most n?
True
Suppose 0*l + 9 = 3*l + 3*y, 4*l - 4*y = -12. Let p(h) = 30*h**2. Let r be p(1). Let b be ((-324)/r)/9*(-25)/(-35). Is l at most as big as b?
False
Let o(k) = -36*k + 80. Let j be o(-22). Let t = -873 + j. Which is bigger: t or 0.458?
0.458
Let g be 28/8*12/14. Suppose 2*l = -m - 9, l = -2*l + 2*m + 4. Let w be l/(-4)*(1 - g). Which is smaller: w or 2/71?
w
Let d(b) = -6*b**3 + 13*b**2 - 13*b + 142. Let h be d(10). Is h bigger than -4688?
False
Suppose -3*y + 4*a + 16 = -0*a, -5*a = 2*y - 3. Suppose -7*r - 150 = -y*r. Let v = 48 + r. Do v and -20 have different values?
True
Let u(a) = -2 + 5 - 8 + a. Let q be u(4). Let b be (45/360)/((-3)/20). Is q less than b?
True
Let y(z) = -129*z - 312. Let b be y(-2). Are -55 and b equal?
False
Suppose 0 = -0*m + 2*m + 32. Let q be (-3 - (-5 + 3))*m. Let w be (q/4 + -5)/(-1). Which is smaller: -24 or w?
-24
Suppose -o + 10*c - 6*c + 121 = 0, 236 = 2*o - 5*c. Suppose -3*p = 3*m - 174, -2*m + 28 + 108 = -2*p. Let f = o - m. Is 49 <= f?
True
Suppose -10*l = -22*l + 72. Let g be 12*(-4)/46*3/l. Which is smaller: -2 or g?
-2
Let s = 162 - 142. Suppos