
z
Let f be (8*(-12)/264 - 2/(-66))/(-1). Is 3045 at most f?
False
Let b be -2*(-3 + 92/24) + (-64344)/63. Which is bigger: 4 or b?
4
Let m = -145883/23 - -6343. Which is greater: m or -58?
m
Let i = 8134.8 + -7200. Let c = -935 + i. Which is smaller: -104 or c?
-104
Suppose -4*n + 117 = -3*n. Let y be 8/(-20) + n/5. Suppose 4*c + 292 = 384. Are y and c unequal?
False
Suppose 60*k - 58*k + 306 = -x, 4*k + 914 = -3*x. Which is greater: x or -303?
x
Let q = -18419891/203310 - -1/40662. Let k = -85 - q. Suppose -6*v + 5*v + 2 = 0. Which is smaller: k or v?
v
Suppose 4*k + 8 = 160. Let o = k - 20. Do o and 18 have the same value?
True
Let y = -71 + -163. Which is greater: y or 0.2?
0.2
Suppose 4*t - 3 = 1. Let y be t + 39/(-45) + 484/(-1155). Are -9/4 and y non-equal?
True
Suppose 23*p + 8661 = -5300. Let w = p - -540. Is w < -263/4?
True
Let v be 6 + (11 - 1755/105). Suppose 0 = o + 3*y - y + 4, 3*y = 2*o + 36. Let j = -25 - o. Is v at least j?
True
Suppose 23*o + 136 + 5200 = 0. Is o bigger than -1161/5?
True
Let b = 36158 - 36157.48. Which is greater: 19/2 or b?
19/2
Let j(p) = -7*p**2 + 10*p + 6. Let c be j(-4). Let x = c - -113. Is -32 at most x?
False
Let u(v) = 2*v**3 + 9*v**2 - 3*v + 17. Let x be u(-5). Suppose 0 = 4*s - x*m + 4*m - 25, 11 = -s - 5*m. Suppose 9*a - s*a + 405 = 0. Are -80 and a nonequal?
True
Let m be (-8 - 4/2) + (-500)/(-50). Is -1/19607 at least m?
False
Let p be 0/(-3) + -1 + -8 + (11 - 3). Which is bigger: p or 15/344?
15/344
Suppose -4*y + 41 = -219. Let u(a) = 51*a - 139. Let n be u(4). Is y > n?
False
Let j(g) = -80*g + 156*g - 1 - 81*g. Let w be j(-7). Suppose -w = 6*d - 88. Is d less than 5?
False
Let x = -298 + 878/3. Let v be 6/12*680/60. Let i = x + v. Is 0 at most as big as i?
True
Let m(h) = 1060*h + 13780. Let s be m(-13). Which is greater: -1/2835 or s?
s
Let i(m) = 3*m**2 - 81*m + 1. Let c be i(27). Which is smaller: c or 25/67?
25/67
Let p = -1191 + 1024. Let k = -20 + 19.9. Which is greater: k or p?
k
Let h = -813345/38 + 21405. Let o = 198/95 - h. Is 1 at most as big as o?
False
Let n = -8.36 + 1.96. Which is smaller: 5 or n?
n
Suppose 2*c + 63 - 101 = 0. Let o = c - -2. Does 19 = o?
False
Let z = 1262 + -1419. Let c = 15 - 173. Which is smaller: z or c?
c
Let r be -6*(-1)/(12/4). Suppose -4*n + r*w = 10 + 56, 5*w = 3*n + 67. Let i be 18/n + (-16)/(-56) - 6. Do -7 and i have the same value?
True
Suppose 0 = -7*f + 2*f. Let a(d) = -d**2 - 15*d - 52. Let k be a(-6). Suppose -2*r = -b, -5*b = -r - k*r. Is f less than b?
False
Let h = 72984/169 + -7819817/21294. Let d = h - 617/9. Is d at least -5?
True
Let r(k) = k**2 - 2*k - 9. Suppose -5*p = -n - 25, -5*p + 8 + 12 = 0. Let v be r(n). Let j = v - 25. Is j greater than or equal to -3/16?
True
Let a = 28869 + -28868.8. Which is greater: 81 or a?
81
Let k = 38 + -91. Let c = k + 185. Suppose -o - d = o + 60, 4*d - c = 4*o. Which is smaller: -1 or o?
o
Let x = -61 - -143. Let w = 84 - x. Let r = 43 - 33. Which is greater: r or w?
r
Let j = -4 + 15. Let g = -14 + j. Let t = g + 3. Which is bigger: t or -7?
t
Let v = -0.167 + 0.717. Let g = 0.647 - v. Is g smaller than -2?
False
Let q = -58.958133 - 0.041867. Let y be ((-4)/10)/(7/5). Is y not equal to q?
True
Let m be ((-222)/1)/(-7 + -5 + 10). Which is bigger: m or 124?
124
Let n be -12*(-10)/(-90)*(0 - 6). Let d be 0 - 4*2/n*-83. Are 84 and d equal?
False
Let t = -0.14 + 0.14. Let j = 1.1 + t. Let x = -303 - -607/2. Is j less than x?
False
Let d = 0.345 + -0.2953. Let l = d - -0.3503. Is l at most as big as -29?
False
Suppose 0*i - 2*a - 21 = -3*i, -3*a = -3*i + 24. Suppose i*v + 53 = 2*j, 4*j = 2*v + 42 - 8. Suppose 81 = 2*m + 105. Which is smaller: v or m?
m
Let q(x) = x - 78. Let k be q(-18). Let v = k + 69. Let p = 1/18 - -1/6. Is p != v?
True
Let d be (-264)/(-96) + (-18270)/6664. Let t be 2/(-4)*2/4. Are t and d nonequal?
True
Let i(f) = -5*f + 13. Let m be i(-17). Let r be 33/(-11) + (m/(-2) - -3). Which is greater: r or -2/7?
-2/7
Let h be (112546/(-15281))/(89 + 1). Let v = h + 2/2655. Let t be 7 - -1 - 9/((-171)/(-152)). Is t != v?
True
Suppose -q + 4*j + 297 = 0, 9*j - 4*j = q - 293. Let d = -201 + q. Which is bigger: 113 or d?
113
Let d = 0.0229 + -475.0229. Let l = d + 469. Are -2/9 and l unequal?
True
Let d = -109.49 + 109. Let v = d + -1.51. Let x = v + 11. Is x > 3?
True
Let i = 69 - 63. Suppose i*w + 476 - 128 = 0. Which is greater: -57 or w?
-57
Let l(s) = -s**3 + 33*s**2 + 190*s + 171. Let v be l(38). Are v and 174 unequal?
True
Let q(g) = g**2 + 2*g - 12. Let c be q(-5). Suppose 10*h - c = 7. Is h less than or equal to -16/53?
False
Suppose -14*r + 154 = -5*f - 339, 0 = -r - 2*f + 47. Which is smaller: r or 862/23?
r
Let x be (-8 + (-3)/3)/(1001/(-104) + 10). Suppose -5 + 50 = -3*l. Let s be ((-78)/l)/(2/(-10)). Which is greater: s or x?
x
Suppose -572*a + 574*a = 70. Let m be (-2*2)/(40/(-348)). Is m greater than a?
False
Let v = -11/81 + 1189/405. Let s be 6/(-9) + (-370)/3. Let x = s - -127. Which is smaller: x or v?
v
Let d = -56.6 + 15.6. Let n = d - -87. Let p = n - 46. Which is bigger: p or 3.9?
3.9
Let p(s) = -s**3 + 12*s**2 - 15*s + 14. Suppose 10*i + 33 = 13*i. Let g be p(i). Let u be g/(-9)*(-9)/2. Is -17 smaller than u?
True
Suppose -294 = 4*c + f, -5*f - 360 = -0*c + 5*c. Let v be (31/((-496)/1728))/((-9)/(-6)). Is v not equal to c?
True
Suppose 97*f = -115*f + 212. Which is bigger: f or 1/17223?
f
Let l = -0.335 - -0.335. Which is bigger: -720 or l?
l
Let k = -40 + 85. Suppose -2*w + 7*w + 611 = 18*w. Is w greater than k?
True
Suppose 13*a - 142659 + 130608 = 0. Which is bigger: 928 or a?
928
Suppose 15*k - 248 = 7*k. Suppose 0*q = 4*y - 2*q - 74, 0 = -y + 3*q + k. Suppose a + 5 = -d - 7, 2*a = 2*d - y. Which is bigger: a or -5?
-5
Suppose -5*d + 5*x = -18 + 88, 4*d + 36 = -x. Let f be (1*d/45)/(4/10). Which is smaller: f or 0?
f
Let s = 0.2047 - 0.1047. Which is smaller: s or 115/14?
s
Let u = -8 + 8.03. Let r be ((-5)/(-7))/(29/203). Let t be 4/(-20)*(r + -2 + 1). Is t <= u?
True
Suppose -y - g - 29 = -108, -5*g - 179 = -2*y. Let v = y - 80. Suppose 2*m = 4*a + 4, 0 = v*a + 3*m - 4 + 14. Which is smaller: a or 0?
a
Suppose -3*t + 21 - 9 = 0. Suppose 3*j = r, -t = r - 7. Let a be (-11)/(-171) - (-10)/(-45). Is j less than or equal to a?
False
Suppose 276 = -87*l - 51*l. Do -41/42 and l have different values?
True
Suppose 4*y = 3*m + m + 424, 4*y - 426 = 5*m. Suppose 2*t = -3*o + t - 64, 5*o = -t - y. Let x = 5080 + -5099. Which is bigger: o or x?
x
Let o be ((-1032)/(-548))/(6/21952). Let j = o - 6890. Which is greater: j or 1?
1
Let g be (-13 + (-159)/(-12))*4. Let x(o) = -o**3 + 8*o**2 - 6*o - 1. Let s be x(7). Let w be s/(-478)*(-6)/9. Is g < w?
False
Let p(g) = -g**2 - 16*g - 84. Let b be p(-11). Does b = -11?
False
Suppose 23 - 9 = -14*g. Let p be (g - (-44)/42)*(-21)/301. Which is smaller: 1 or p?
p
Let b = -12539 - -12538. Suppose 0 = 3*i, -s - 3 - 8 = i. Is s greater than b?
False
Let j be (-12480)/(-22) - (23 + (-1750)/77). Is 567 less than j?
False
Let h = 46 - -36. Let i = h - 44. Suppose 2*s - i = 5*p, -s + 3 = -p + 4*s. Which is smaller: p or -11?
-11
Suppose -4*n + n + 39 = 0. Suppose 78 = 5*i - 5*o + o, -4*i = -o - 69. Are i and n non-equal?
True
Let n = 266.0492 - 0.0492. Let z = 266.2 - n. Let v = -588 + 14694/25. Which is smaller: v or z?
v
Suppose -2*u + 2 = 4. Let p be 51/(-27) - -1 - u. Suppose -27*a + 51*a - 9 = 15*a. Which is bigger: a or p?
a
Let m(h) = 51*h - 10 - 6 - 7 + 0 + 2*h**2. Let q be m(-26). Suppose -4*f - 1 = q. Is 2 bigger than f?
True
Let m = 4405 - 4406. Is -3804 greater than or equal to m?
False
Suppose 4*p + 22 = 74. Suppose -5*h = i - 2*h + 8, -4*i + p = -3*h. Do i and 11/18 have the same value?
False
Let o = 46 - 46.9. Let a = -29.68 + 44.68. Which is bigger: o or a?
a
Let b = -0.3 - -0.35. Let s = 549 + -562. Is s bigger than b?
False
Let z = 211 + -215. Let a be (40/(-60))/(z/6) + -3. Is -20/39 equal to a?
False
Let k be (0/4)/(-3) - 48. Let y = 303 - 303. Which is smaller: k or y?
k
Suppose -f + 5*k = 121, -2*f = 44*k - 48*k + 206. Do f and -1755/19 have the same value?
False
Let y = 2/27431 + 37196410/356603. Which is smaller: 105 or y?
y
Suppose -4*c - 172*r + 9333 = -169*r, 0 = -c + 5*r + 2293. Is c equal to 2322?
False
L