
m
Let j = -3.75 - -3.5. Let p = 30.75 - j. Let b = p + -25. Which is smaller: b or -0.2?
-0.2
Let r be (2/(18 + -10))/((-3)/(-12))*0. Which is smaller: r or 4/825?
r
Let w(b) = -b**2 - 9*b + 10. Let s be w(1). Suppose s = i + 5*i + 516. Let p = -195 + 108. Which is smaller: p or i?
p
Suppose 4*k - 2*f + 134 = 0, 3*f + 105 = 13*k - 16*k. Is k < -32?
True
Let c = -78 - -74. Let w = -55 - -54. Is w > c?
True
Let t be (798/(-63))/(2/(-3)). Suppose 34 = -t*x + 72. Let p be 78/70 - (-4)/(-10). Is x < p?
False
Suppose 0 + 41 = -4*x + 3*k, 5*x - 4*k = -52. Let d be -2 + (3/x)/((-78)/364). Which is smaller: 356 or d?
d
Let d be (540/96)/(-15) + (-4394)/(-112). Let x = -1346/35 + d. Is 131 smaller than x?
False
Suppose 0 = -22*q + 26*q + 132. Let v(y) = y**3 + 7*y**2 + 10*y + 7. Let x be v(-5). Suppose 4 = 4*u, -x*r - 159 = -2*r + u. Do q and r have different values?
True
Let b(v) = 2*v**2 + 9*v - 15. Let q be b(-6). Let k be (0 - -1 - (-5)/(-15))*q. Let d = 1 + -1. Are d and k non-equal?
True
Let w(h) = -36*h**2 + 148*h - 1377. Let q be w(8). Which is bigger: -2496 or q?
-2496
Let d be 3 - (4 - 4 - -12). Let v be (16/36)/(-2) - (-1)/d. Let t = 0.036 + -0.056. Are v and t equal?
False
Let b be 856/(-3933) + 12/54. Let x be ((-18)/27)/((-184)/(-12) + -16). Is x bigger than b?
True
Suppose -2*k - 2*k - t + 8 = 0, 5*k - 10 = -4*t. Let q = -26669/112 + -43/112. Let a = q + 239. Is k greater than a?
True
Let m = -4546 - -7297. Is m at most as big as 2750?
False
Let t = -3.426 - -3.426. Is -174 > t?
False
Let h = 4932 - 4932. Which is bigger: -33 or h?
h
Let b = -31323 - -157836/5. Let q = b + -245. Which is smaller: q or -0.23?
q
Suppose -5*z + 24*z + 722 = 0. Are -31 and z unequal?
True
Let u = -24131/277721772 - 3/27316. Which is smaller: 1 or u?
u
Let x be ((-1)/2)/((-9)/54). Let m be (x/2)/(-1) + (-31409)/14. Let g = 78569/35 + m. Which is greater: g or -1?
g
Suppose 2*u = 4*f + f + 3, -5*u - 10 = 5*f. Let t be 32/12 + (u - -2)/3. Suppose 5*g + 4 = -2*d, -8*g = d - t*g + 2. Which is smaller: -3/2 or d?
d
Suppose 4*h + 2*h = 0. Let y = 1982 + -315136/159. Which is smaller: h or y?
h
Let l(q) = q + 41. Suppose 100 + 11 = -3*z. Let w be l(z). Which is smaller: 3 or w?
3
Let v be (1/3)/(4/(-1788)). Let f = v - -603/4. Let c = 1057 - 1055. Is f smaller than c?
True
Let q be (48/174)/(100/37670). Let w = 14/29 + q. Which is bigger: w or 0?
w
Suppose 26 = 5*d + 6. Suppose 0*g + 4*g + d*q = 92, 5*g = 4*q + 79. Which is greater: g or 18?
g
Suppose -y + 7 + 4 = 0. Suppose 0 = -k + 3*p + y - 5, -3*k = -2*p + 10. Let n be 2/k + (2 - (-1 + 1)). Is 3 < n?
False
Let z = 0.67 - 285.67. Let k = 285.08 + z. Is 0.07 < k?
True
Suppose 3*d + 1 = -2. Let t be 2/(180/(-174)) + (-66)/(-330). Which is greater: d or t?
d
Let l = -490/3 + 163. Let r be (27*(2 - 3))/1. Let h be 256/10 - r/(-45). Are l and h nonequal?
True
Let b be ((-138)/(-60) - 2)/((-299)/(-78)). Is -2 equal to b?
False
Suppose 156*h + 296 = 157*h. Let b = -2074/7 + h. Is 88 smaller than b?
False
Suppose -5*a + 5*m = -5745, 0 = -a + 4*m + 3046 - 1912. Is a at most as big as 1155?
True
Let p(l) be the second derivative of -l**5/20 + 49*l**4/12 - 47*l**3/3 - 81*l**2/2 + 157*l. Let b be p(47). Which is greater: -82 or b?
b
Let m be 0 + 120 - 2*(-2)/1. Suppose -128*g = -m*g + 12. Let d be 4 + (148/(-22) - g). Is d < 1/3?
True
Let s(j) = -2*j**2 - 68*j + 14. Let u(d) = -28*d + 164. Let w be u(7). Let k be s(w). Which is greater: 143 or k?
143
Let n be -2 + -44*4/(-40). Let l = -48 - -58. Let x be 1 - -2*(-2 - l/(-4)). Which is greater: x or n?
n
Let m = 7167 - 7165. Which is smaller: m or 40/41?
40/41
Let i = 4304.185 - 4.185. Which is smaller: 1 or i?
1
Let y = -10006 - -10096. Which is bigger: 0 or y?
y
Suppose 4918 = 8*i - 1482. Let c be (i/(-136) - -6) + (-62)/238. Is -5/6 not equal to c?
True
Let m = -2388 + 2381. Let j = 660 - 2667/4. Is j less than or equal to m?
False
Let d = 637415/23 + -27713. Let b = -1 + 2. Is b bigger than d?
True
Let d = 16/9 + -35/18. Let i = 645 - 644. Which is smaller: d or i?
d
Suppose -2*v + 108 = -4*v. Suppose -5*w - 259 = f, -2*w + 5*f - 91 = 45. Is w != v?
True
Let b be (3 - (-42348)/(-14120))/(-12 - (-276)/24). Is b >= -0.1?
True
Let z be -47*2*(1 + (-1450)/20). Which is bigger: z or 6722?
6722
Let t = -28 - -19. Suppose 164*i + 19850 = 109*i - 1930*i. Is i < t?
True
Let c = -12306 - -8346. Let r be 2058/c - 4/(-48). Is 1 >= r?
True
Suppose -755 + 743 = 2*f, -3*q + f = -2415. Does q = 800?
False
Let y(n) = n**3 - 16*n**2 + 14*n + 26. Suppose -133 = o - 148. Let h be y(o). Suppose 2*z - 5*m = -m + 8, 0 = -3*m + 12. Is z < h?
False
Let j be 4/(-34) - ((-1809465)/4641 - 15). Which is greater: 404 or j?
j
Let v = 22647 + -22765. Suppose l - 286 + 56 = 2*x, -3*l = 3*x + 354. Which is smaller: v or x?
v
Suppose -40 = 3*t - 205. Let x(g) = -21*g**2 + 30*g - 77. Let i be x(3). Let v = i + 231. Is v != t?
False
Suppose 4*y = -y. Let c = -67.2967 - 1.7033. Is y at most c?
False
Let g(t) = -6*t**3 - 143*t**2 + 124*t + 2398. Let p be g(-24). Let x = -20 + 13. Is x != p?
True
Suppose 3*o = -2*d + 4923, -5*o + 25*d = 24*d - 8179. Which is bigger: 1635 or o?
o
Let f be (1 + -15 - -1)/(-6). Let x = 59788 - 59788.1. Is x greater than f?
False
Let u = 155/6 - 26. Suppose 3*w + 3 = 2*g, 2*g - 3*g - 4*w = -29. Suppose 10*q - 1 = g*q. Is q >= u?
True
Suppose -366 = 12*i - 155 + 209. Which is bigger: i or -795/23?
-795/23
Let u = -200 + 124. Let k = 25/22 - 29/22. Is k >= u?
True
Let a(o) = -1254*o + 124. Let w be a(-1). Which is smaller: w or 0.2?
0.2
Let z = 595 - 623. Let c(k) = k**3 + 28*k**2 - 6*k - 144. Let j be c(z). Do j and 32 have different values?
True
Suppose 6*d - 5555 = -1043. Is 753 greater than or equal to d?
True
Let t = 1.6672 - 1.679. Is t != 0?
True
Let t = 9221/23 + -401. Suppose 9*w - 39 = 6*w. Suppose w*d = 10*d. Is t at least d?
False
Let c = 50 + -48. Suppose 2*r = -j - 3*r + 109, 74 = j - c*r. Suppose -3*u + 2*b - j = -b, 3*u + 82 = 2*b. Which is greater: u or -25?
-25
Let k = 34.1 - 34. Let a = 17.76 - 17.46. Is k at most as big as a?
True
Let h = 4 - 3.8. Let s = 0.2 + 11.8. Let y = -11.91 + s. Is h <= y?
False
Let j be ((-20)/(-15))/(4/540). Suppose 2*s = 2*t - j, 4*t + 4*s = -s + 369. Is t >= 92?
False
Let h be 1*(3 + 1)*34*1/1748. Which is greater: h or -1?
h
Let k be (-4)/(1/(-1)) - 0. Suppose 0 = 2*m - k - 0. Suppose -81 = 3*v - 4*c, m*v + 17 = v - 2*c. Which is bigger: v or -24?
v
Suppose -6*f + 4 = -68. Suppose -h + 3*p = -0*h - f, p + 4 = 0. Suppose 0*n = -4*d - 3*n - 13, -d - n = 4. Which is smaller: h or d?
d
Let v be (-2692868)/(-448800) - (5 + 1). Is v at most as big as 1?
True
Suppose -3*f = -3, -2*f - 11 + 7 = -2*o. Let t be (o/78)/((-1)/(-2)). Which is greater: t or 0?
t
Suppose -3*t - 96 = -7*t. Let s(q) = q**3 - 4*q**2 + 10*q - 42. Let w be s(4). Let m = t - w. Is m bigger than 26?
False
Suppose 8 = 4*p, 4*a - 6*a - 2*p + 10 = 0. Suppose 4*z + 16 = 0, g + a*g + z = -44. Is g greater than or equal to -18?
True
Let d be -2 + (-27)/(-12) - 109188/(-2160). Is 52 greater than d?
True
Suppose 3*m - 10 = -4*q, m + 1 - 15 = -4*q. Let r be 5863/14 - 0*(-3 + q). Let b = -419 + r. Is b smaller than 1?
True
Let p be 3024/(-152) + 6/(-57). Let i be p + 14 - 22/(-4). Which is smaller: i or -192?
-192
Let j be -12 - (5 + 860/(-300)). Which is smaller: -14 or j?
j
Let b(q) = 2*q**3 + 314*q**2 + 1125*q + 318. Let c be b(-153). Which is greater: 15466 or c?
15466
Let i be 28/(-88)*-6 + -2. Let m = 4/61 - -232/183. Are i and m unequal?
True
Suppose -24*m - 46036 + 99525 = -77743. Is 5468 > m?
False
Let w(g) = g**2 + 29*g - 6651. Let v be w(-81). Which is smaller: v or -2440?
-2440
Let a = -14.349 + 10.449. Is -0.01 smaller than a?
False
Suppose -109*h = -113*h + 16. Suppose 2*n - 19 = t, -3*n = -n + h*t - 24. Which is smaller: 12 or n?
n
Let p = 22.925 + 0.075. Let m = 22.7 - p. Do 26 and m have the same value?
False
Let w be 648/(-504)*14/(-3). Suppose -2643 + 3099 = -w*q. Is q less than -528/7?
True
Suppose 4*u + 2*d = 39 + 137, 3*u = -5*d + 132. Let y(h) = 43*h**3 - 3*h**2 - 79*h + 83. Let l be y(1). Do u and l have the same value?
True
Let g(n) = n + 10. Let l be g(-10). Suppose 0 = -2*f - 2*r - l*r + 10, 2*r + 8 = f. Suppose -y = f*y. Is 0 > y?
False
Suppose 2*b -