ler: s or -2/25?
-2/25
Suppose 3*c - 5*x = -2*c + 35, 0 = -5*c - 2*x + 42. Suppose 3*h = 2*k - 2, 4*h + c*k = 3*k + 5. Do 14/27 and h have the same value?
False
Let x(f) = f**3 + 7*f**2 - 5*f + 9. Let a be x(-7). Suppose 5*t = -a - 36. Let b = t + 15. Are b and -1/6 equal?
False
Let g = 57 + -56. Let j = -53 + 24. Which is greater: j or g?
g
Let j be (2 - (-3 + 1))*4/4248. Is j smaller than 1?
True
Suppose 0*r - 4*r - 15 = 5*q, 0 = -4*r - 20. Let z(c) = 31*c + 9. Let b be z(q). Which is greater: b or 39?
b
Let r(d) = -d**3 - 26*d**2 + 3*d + 77. Let w be r(-26). Which is greater: w or -24/11?
w
Let w = -71397/4 + 17948. Let i = 97 - w. Which is bigger: i or -2?
i
Let y = -1207 + 131562/109. Is y greater than or equal to 1?
False
Suppose -55*a - 1049 = -2644. Which is smaller: a or 59/2?
a
Let p be 356/(-6) + 8/6. Let x be ((-16)/p)/(-5 + 3). Do x and 1 have the same value?
False
Let h = -4.505 + -0.495. Let r = -7 + -1. Which is smaller: r or h?
r
Let v = -745 - -790. Which is smaller: v or 44?
44
Suppose 0 = -2*z - 2, 3*t + t - 4*z = 12. Suppose r = -2, t*v + r - 12 = 6*r. Which is bigger: v or 3/2?
3/2
Suppose 10*a = -2*f + 7*a - 232, -f = a + 115. Which is greater: 5 or f?
5
Let l = 57 - -227. Let w = l + -269.9. Let u = w + -14. Which is smaller: u or -13?
-13
Let w = -124 - -67. Let c = w - -56. Is c != -1/149?
True
Suppose 12*c - 397 = -1405. Is c greater than or equal to -83?
False
Let s = -37 - -41. Let m be (s/10 + (-3)/(-30))*1. Suppose 0*v - 10 = -2*v. Which is greater: m or v?
v
Suppose 2*f = -7 + 1, 0 = -2*m - 5*f + 7. Let p = m + -11. Let h be p - 4 - 6/3. Is h bigger than -6?
False
Let g be (0 - (-2)/(-3)) + 8/(-6). Do -114/55 and g have different values?
True
Let s = -32 + 20. Let a be ((-2)/s)/(10 + -9). Which is smaller: 0 or a?
0
Let m be 3/58*470864/24. Let i = -1015 + m. Which is smaller: i or 1?
i
Let a be (((-8)/(-3))/8)/(2/228). Which is smaller: a or 42?
a
Let r(h) = -h**3 + 23*h**2 - 47*h + 587. Let z be r(24). Which is smaller: -1115 or z?
z
Let y(h) = -h**2 - 23*h + 6. Let o be y(-23). Is 11 less than or equal to o?
False
Let f = -18409/339915 + 29/465. Is f smaller than 0?
False
Let i = -32/123 + -3/41. Suppose -163*j - 84 = -156*j. Do i and j have different values?
True
Let a = 0.0252 + 9.9748. Is a at least 72?
False
Let w = 22 - 19. Suppose s + 3*t + 9 = -0, -w*t = -4*s + 39. Which is smaller: 8 or s?
s
Let v(l) = l**2 + 4*l - 2. Let z be v(6). Let m = z - 40. Which is smaller: 17 or m?
17
Suppose 0 = -5*i - 3*z + 23, -2*z = i + 2 - 1. Which is smaller: 9 or i?
i
Let m(d) = -2*d + 13. Let z be m(6). Let y be z*(-3 + 3 + 1). Which is smaller: 4/15 or y?
4/15
Let i = -531 + 532. Which is smaller: 5/68 or i?
5/68
Let h = 850 + -912.9. Let x = -63 - h. Which is greater: -2/5 or x?
x
Let j be 6/33*(3 + -5). Let u = j - 3/22. Which is smaller: 4 or u?
u
Suppose -2*z + 5 = 2*v + 21, 0 = 2*v - z + 4. Let q(s) = s**3 - 8*s**2 - 3*s + 11. Let k be q(8). Let p = k - -7. Is v >= p?
True
Let a be ((-22)/957)/(188/54). Let i = -6582/377551 - a. Let j = -449/9695 + i. Are 0 and j equal?
False
Suppose -364 = -11*z - 144. Let i(v) = v**3 - 22*v**2 + 37*v - 19. Let u be i(z). Do u and -78 have the same value?
False
Suppose -5*w + 3*l = -519, -4*w + 14 + 385 = 3*l. Are 90 and w non-equal?
True
Let q be (1 + -2)/1*-6. Let i be q/36 - (-1)/(-6). Which is smaller: 2/81 or i?
i
Let f = 15 + -13. Suppose -f*o = 2*m, m - 4*m = -o + 20. Let k = -5 + 2. Which is greater: m or k?
k
Suppose -54 - 1021 = 5*g. Is g less than or equal to 3?
True
Let y(c) = -c - 2. Let o be y(7). Let z be (-1)/(o/(-12) + -1). Let x(v) = -v**2 - 17*v + 24. Let t be x(-18). Is t less than or equal to z?
False
Let t = 1.8 + -1.7. Let m be (20/(-2))/((-1)/3). Is t at least as big as m?
False
Suppose -4*s = 5*m + 1155, 2*m = -s - 201 - 258. Which is greater: -1137/5 or m?
m
Suppose 3*p - 2*l = -245 + 745, 0 = 5*p + 4*l - 848. Which is greater: p or 838/5?
p
Let x = -0.1 + 0.3. Let r = 7679 + -7714. Which is smaller: x or r?
r
Let j be 8/(-3)*36/(-16104). Is 0 less than or equal to j?
True
Let u be (-14)/21 - 5/(-3). Suppose -5*n + 15 = 5*h, 2*h = 4*h + 5*n + 6. Let d(z) = z - 9. Let t be d(h). Which is smaller: u or t?
t
Let r be (-6)/20*(-20)/(-8). Let p be 9/6*((-48)/18)/4. Which is smaller: p or r?
p
Let b(d) = -d**2 - d + 73. Let a be b(8). Is a smaller than 1/379?
False
Let h be 2/(-40)*-4 - (-36)/(-380). Let d be 1/2 - (-9)/(-38). Let y = h - d. Do -1 and y have the same value?
False
Suppose 3*n - 6*n + 3*c - 3 = 0, -3*n = -c - 3. Which is smaller: n or 9/13?
9/13
Let v be 2*(-1 + 2)*1. Let y be ((v/(-2))/(-1))/1. Are y and 4 equal?
False
Let o = -53 + 132. Let x = o - 104. Which is greater: -0.1 or x?
-0.1
Let y = -1670 - -1667. Is 15 bigger than y?
True
Let r(b) = -3*b + 5*b - 2 + b. Let z be r(-3). Let n = -52/81 + -2/81. Does n = z?
False
Suppose -3*g + 288 = -3*i - i, 192 = 2*g - 4*i. Let s = g + -93. Which is bigger: s or 2?
s
Let y be (168 + -169)/(3 - (-113)/(-38)). Suppose 4 = -5*c - 1. Which is smaller: y or c?
y
Let i = 28 - 26. Suppose 5*c - i*c - f = -11, 4*c = 3*f - 23. Let b be (6/(-4))/(c/6). Which is bigger: b or 4?
b
Let x be 66/(-48) + 4/(16/6). Which is smaller: x or 2/7?
x
Let z = -257 - -255. Let p = 19 + -11. Let o be -9 - z*12/p. Does o = -6?
True
Suppose o = -4*t, t + 0*t = -o. Which is greater: -1/58 or o?
o
Let r(t) = t**3 + t + 31. Let g = -11 + 11. Let d be r(g). Suppose -5*v - 2*f - 8 = 65, -f = -2*v - d. Do 1 and v have different values?
True
Let p(l) = -3*l + 21 - 4*l - l**2 + 0*l - l. Let y = 24 - 34. Let z be p(y). Which is smaller: 1/3 or z?
1/3
Let b = 1359433/474 + -2868. Are -1 and b unequal?
True
Let d(f) = 7*f**2 + 3*f - 1. Let b be d(-2). Let h be (3/(-2))/(1/(-4)). Let u be (-4)/h + b/45. Which is greater: -0.3 or u?
u
Suppose -s + 3*x = -7, 0 = 2*s - 5*x - 9 - 5. Let z = 10 - s. Suppose -u = 3*q, z*u - 8*u = 3*q. Which is smaller: 2/51 or u?
u
Let w = 1/325 + 303/7150. Which is smaller: -1 or w?
-1
Let h(o) be the third derivative of -o**5/60 - o**4/4 + o**3/2 + 14*o**2. Let r be h(-3). Is r bigger than 8?
True
Suppose -5*s + k + 91 = 0, 3*k = s + k - 20. Suppose 0 = 4*q + q - 95. Which is bigger: q or s?
q
Let k(r) = r**3 + 8*r**2 + 9. Let n be k(-8). Let w be (-12)/18*n/(-16). Are w and -1 nonequal?
True
Suppose 3*l - 8 = l. Let a(v) = v**2 + 4*v - 9. Let j be a(-6). Suppose -4*k + j*k - 3*o = 6, -26 = -3*k + 2*o. Is k equal to l?
False
Let s = -53/236 + 28/59. Let q = 0.79 - -0.11. Let f = q + -1. Is s less than or equal to f?
False
Let k = 68 + -64. Let j = 7 - 3. Suppose k*r - 2*r + j*l - 16 = 0, 6 = 2*r - l. Which is smaller: r or -1/5?
-1/5
Let n be 173 - -15*24/40. Is 183 < n?
False
Let k = 33.8 + -7.8. Which is bigger: k or 0.3?
k
Let g = -42 - -17. Let b = g + 6. Suppose -j - 21 = a - 4*j, 4*j - 22 = a. Are b and a nonequal?
True
Suppose -4*m + 21 - 772 = 5*t, 5*m = -t - 146. Which is greater: -154 or t?
t
Suppose -29*s = 4*s - 33. Which is smaller: s or -10/73?
-10/73
Let h(w) = 8*w + 24. Let l be h(-4). Let d be -3 - ((-15)/l + -3). Which is smaller: d or -2?
-2
Let j be (7 - 9) + -3 - -419. Which is smaller: 1 or j?
1
Let b be (-3098)/(-6)*(-84)/112. Which is bigger: b or -386?
-386
Suppose 4*d = -u - 1 - 11, -12 = -5*u - 2*d. Let a be u + 1 + 5/15. Which is greater: a or 4?
a
Let l = 2466.959 - 2467. Is l greater than 1?
False
Let k be (-4)/6 - (-3 - 75/(-9)). Let m = 10 - -10. Suppose 0*n + m = -5*n. Is k smaller than n?
True
Let l(u) = -u**2 + 12*u - 15. Let z be l(10). Suppose 11 = 3*g - 1. Suppose -c + z*c - g = 0. Which is greater: c or 2/27?
c
Let u = -2 - -5. Let k = u + -2. Which is smaller: 1/21 or k?
1/21
Let v be (-10)/(-25)*20/(-108). Let q be (-4)/6 + (-9)/27. Which is smaller: v or q?
q
Let v = -2.2 - -2.221. Let t = -4.779 - v. Is t >= 1/3?
False
Suppose -16 = 5*h + 2*k, -4*h - k - 11 = -0*k. Suppose 13 = 5*d + 3. Let o = h + d. Is o < 1?
True
Suppose 22*a + 4*r = 25*a, 0 = -3*a - 3*r. Let s be ((-270)/44)/(-5) + -1. Which is smaller: s or a?
a
Let j = 1.73 + 8.17. Let w = j + -10. Let b = 0.2 - -0.8. Which is bigger: w or b?
b
Let m = 6219/4 + -1555. Is 137 greater than or equal to m?
True
Suppose -217*l - 88 = -215*l. Which is greater: -46 or l?
l
Let g = -0.28 - 36.72. Let j = g - -