smaller: -0.012 or m?
m
Let h = 153.429 + -0.429. Which is greater: 0.1 or h?
h
Let n be -3*(-5)/(-1405)*(-1)/3. Is n less than -1?
False
Let d = 431 + -466. Which is greater: -34 or d?
-34
Let o be (-19)/(-4)*-2*-2. Suppose -5*g + b = 35, 3*g + o = -0*b + b. Which is smaller: g or -6?
g
Let m be ((-5)/(-3) - 1) + 54/(-81). Is m at most 2/311?
True
Let q be (270/8)/1 - (-5)/20. Is q < 36?
True
Let r = 426 + -343. Which is bigger: 89 or r?
89
Let w(g) = -g. Let a be w(-5). Suppose -3*q + 17 = -2*q. Let t = q - 13. Is t bigger than a?
False
Let y = -873 + 887.06. Let w = -14 + y. Which is smaller: 1/3 or w?
w
Suppose -3*m + 6 = 0, 59 = -5*a - 5*m - 11. Suppose 2524*y + 187 = 2513*y. Which is smaller: a or y?
y
Let b = -296 + 15985/54. Which is bigger: 1 or b?
1
Let u = 193.9 + -268.9. Which is bigger: u or -16?
-16
Let a be (-2)/(1092/223578) - (-8)/(-28). Let q(x) = 411*x - 1. Let g be q(1). Let n = g + a. Is n != 1?
True
Let a be 1 - 8*(-3)/6. Suppose -a*m - 9 - 11 = 0. Is m less than -4?
False
Let a be 220/15*-1 - (60 - 74). Let r(x) be the second derivative of -x**5/10 + x**4/12 - x**3/3 + x**2/2 - x. Let t be r(1). Is a less than t?
False
Suppose -97*w = -21856 + 58328. Are w and -375 non-equal?
True
Suppose 5*x + 10 = 3*x. Let l(u) = 3*u + 18. Let g be l(-3). Let o(p) = p - 14. Let m be o(g). Are m and x nonequal?
False
Let m = 2.06 + -0.06. Is m less than or equal to 0.02?
False
Let h = -13.9 - 0.1. Let i = 10 + h. Is i smaller than -0.1?
True
Suppose -2*u = -7*u - 210. Let g = 46 + u. Which is bigger: 6 or g?
6
Let l = -6 + 8. Let a be -5 + (-3)/l*16/(-6). Is -1/17 at most a?
False
Let d(y) = y**3 - 15*y**2 + 15*y - 13. Let x be d(14). Is 43/18 equal to x?
False
Let d = 2 - -10. Suppose -3*m = -d*m - 225. Does m = -2/7?
False
Let f = 11 + -47. Let k be (-29)/(-15) + f/270. Are 1 and k equal?
False
Let c = -0.7 - -0.6. Let u(z) = -65*z - 3. Let v be u(1). Let f be (12/(-8))/(6/v). Which is smaller: f or c?
c
Let p(g) = g**3 - g**2 + 2*g + 2. Let d be p(-3). Which is smaller: -37 or d?
d
Let f = -6223581/91255 + -2/18251. Let x = 68 + f. Is x at most as big as 0.1?
True
Let d be (-38934)/294 + 6/14. Which is smaller: -131 or d?
d
Let i = 64.9465 + 0.0535. Is -1/5 <= i?
True
Suppose 4*c = -2*p - 0*p - 6, -5*c - p = 6. Suppose -3*t + 18 = -3*o, 0*t + 2*t + o - 12 = 0. Suppose 0*w - t = 3*w. Do w and c have different values?
True
Let m = -29.1319 - -0.1319. Are m and -0.2 non-equal?
True
Suppose 5*o = 3*r - 144, 3*o + 4*r + 59 = -39. Let u be (-15)/(-10) - (-33)/o. Let n be 1 - -2*5/12. Does u = n?
False
Let u = -75 + 74. Let f = -80 + 0. Let d be (u/(-6))/((-20)/f). Are d and 2 nonequal?
True
Let a(n) = -5*n**3 - 5*n**2 - 5*n - 1. Let c be a(-3). Let r = 106 - c. Which is greater: r or -3?
r
Let a = -24 - -47/2. Let x = -11 + 1.5. Let u = 0.5 + x. Is a bigger than u?
True
Let c = 5.3 + -7.4. Let v = 0.1 + c. Are v and -1/48 equal?
False
Suppose -q - 455 = 4*q - 3*n, 3*n - 279 = 3*q. Let r = q - -73. Is -96/7 < r?
False
Let o(t) = 10*t - 103. Let h be o(11). Which is smaller: h or -6?
-6
Let w(r) = r**3 + 4*r**2 - 2*r + 4. Let q be w(-5). Suppose 10*f - 6*f = -5*o - 18, f + 5*o - 3 = 0. Is q <= f?
True
Let y = 7540394/423 - 17826. Are y and -1 nonequal?
True
Let g be (-9 - -7)*7/14. Which is smaller: g or -1/136?
g
Let u be (-3)/(0 - 3) + -31. Let j be (5/15)/((-2)/u). Suppose -5*f + 3 = -4*p - 0, -3*f + j*p - 6 = 0. Is 3 at least f?
True
Let l be (-28)/84 - 1/(-3). Which is smaller: l or 1/897?
l
Let v = -821/2907 + -2/171. Which is smaller: v or -1?
-1
Let a = 168 + -97. Let f = -72 + a. Which is bigger: f or 12?
12
Let d = -26.3 - -25.3. Let x = -0.017 + 5.617. Do x and d have the same value?
False
Let j be 3/45*(-2 + -4). Which is smaller: 20 or j?
j
Let u be -2 - 1/(3/(-42)). Let v = 3532 - 3525. Which is bigger: u or v?
u
Let p(h) = -16*h**2 - 5. Let v be p(3). Is v greater than -148?
False
Let r = -72.065 + 72. Let p = r + -0.035. Which is bigger: p or 29?
29
Let i be 36/60 + (-96)/10. Let t be (24/i)/((-14)/21). Suppose -2*r = 2*w - 16, -4*r = -6*w + 3*w - t. Which is greater: 2 or r?
r
Let k = -0.1057 - -2.1057. Is k > 8/9?
True
Let d be -30*(-3 - (-7)/6*2). Suppose -d - 15 = -7*p. Is p less than or equal to 0.05?
False
Let i = 3765/8 + -470. Suppose 10*z - 140 = 5*z. Let f = z - 28. Are f and i nonequal?
True
Let v = -875/36 - -107/4. Is 3 less than v?
False
Suppose -24 = -i + 3*v, -4*i + 28 = -i + 2*v. Suppose 3*c + c = i. Let y be 3/c + -3 + -3. Which is smaller: -3 or y?
y
Let g = 142 + -144. Which is smaller: -46/3 or g?
-46/3
Let b = -24596 + 24601. Suppose -6*w + w - 10 = 0. Let q be w - ((-38)/10 - 2). Which is greater: b or q?
b
Let s = -72 + 71. Which is greater: s or 84?
84
Suppose 5*s = 2*q + 2, 5*q - 3*s + 5 = -0. Let w be 3/1 + 70/(-24). Which is greater: w or q?
w
Let d(a) = -88*a + 613. Let s be d(7). Let y be 4/(-6) - 44/6. Which is bigger: y or s?
s
Let l = 21 + -4. Suppose o - 4*b + 0*b - 14 = 0, -5*b = -o + l. Let y be 0*((-5)/2)/5. Which is smaller: y or o?
y
Suppose -24*p = p + 3025. Is p at most as big as -120?
True
Suppose 12*w + w = 793. Is 61 smaller than w?
False
Let t be 462/(-23436) - 4/18. Which is greater: 0 or t?
0
Suppose -4*l - 4*m = 0, 11 + 9 = 5*m. Let o be (-3)/(-2) - (-1)/(-2). Let w = o - 5. Is l < w?
False
Let z be (-1 + 0)/((-6)/66). Let u = z + 122. Let p = -663/5 + u. Is 0 less than p?
True
Let i be (-1235)/1636 - 75/(-100). Do i and -1/2 have different values?
True
Let r be (-7)/35 - 522/15. Let w = r + 26. Let x(m) = m**3 - 6*m**2 - m - 4. Let n be x(6). Which is bigger: w or n?
w
Let g = -197/11 - -2263/33. Is 0 at least as big as g?
False
Let z be (2/4)/(1 + 2148/(-2136)). Do -90 and z have the same value?
False
Let b(v) = -v**3 + 6*v**2 + 7*v + 2. Let a be b(7). Let f be (-2 + a)/(-3 + 1). Let g = -230 + 3909/17. Is f > g?
True
Suppose 2*w - 2*a = -6, 3*w - 5*a + 10*a = -1. Let f be 2/8 + (-63)/12. Is f greater than or equal to w?
False
Let x(h) = -h**3 + 7*h**2 - 5*h + 10. Let q be x(6). Let t be -2*(q/(-6) + (-4)/(-6)). Is t not equal to 4?
False
Let a = 389 - 390. Suppose 5*y + 5 = -0. Are a and y non-equal?
False
Let i(y) = 12*y - 62. Let b be i(5). Is -23 > b?
False
Let v = -421.03 + 421. Is -4 greater than or equal to v?
False
Let f = 36 - 9. Let c = f + -10. Is 17 at least as big as c?
True
Let s = 33 + -296/9. Let x = 962/3 - 320. Which is smaller: s or x?
s
Suppose 11*i - 14*i + 63 = 2*y, 3*i = 2*y - 69. Which is bigger: y or 32?
y
Suppose -3*m - 45 = -4*l, -3*m - l - 75 = 2*m. Let s = -65 - -197/3. Is s bigger than m?
True
Let k be (-10)/14*4/2 - -2. Do -0.1 and k have the same value?
False
Let a = 13457/5 + -220454/85. Let z = -98 + a. Let r(p) = 2*p + 10. Let t be r(-5). Are t and z non-equal?
True
Let m = 214 + -948. Which is smaller: 0.1 or m?
m
Let z be 2/12 - 1/4. Let q = 80 - 76. Suppose 11*f - 9*f - 2 = 2*m, f - 4 = q*m. Does z = m?
False
Let h = 9/371 + -4007/12243. Which is greater: 1 or h?
1
Suppose 107*r = 347*r + 133*r - 2611. Let f = 1.99 - -0.11. Let w = f - 2. Is r less than w?
False
Let c = 652856/197 + -3314. Let u = 3.4 + -3.3. Are c and u unequal?
True
Let w = 26 + -59. Is w not equal to -33?
False
Let o be (-2)/7*14/(-8)*210. Let i be 7/(o/2)*(0 - -5). Which is greater: 1.8 or i?
1.8
Let n = 13522503/2 + -770867939/114. Let l = 748 + n. Is 1 greater than or equal to l?
True
Let m = 1526 - 1518. Let d(c) = -4*c - 3. Let v be -2*3/(-2)*-1. Let h be d(v). Which is smaller: h or m?
m
Let c be 2 + (3 - (-12 - 10)). Is c > -34?
True
Suppose 0 = -0*a + 3*a. Suppose 0 = -v - 3*b + 38, -b - b = -4*v + 82. Let n = v + -252/11. Is n greater than or equal to a?
True
Let m = 22 + -21.1. Let b = -0.09 + 0.09. Is m at least as big as b?
True
Let t = 44 - 60.9. Let y = t - -17. Which is smaller: y or -7?
-7
Let v = -360/329 - -1595942/1459115. Let m = -7856/2248545 + v. Let o = -154/507 + m. Is -1/2 bigger than o?
False
Let w(p) = -p**3 + 16*p**2 - 39*p + 1. Let m be w(13). Which is smaller: m or 34/65?
34/65
Let a = -5 + 9. Let y(f) = f**2 - 3*f - 3. Let w be y(a). Let z be 7*(-304)/(-20608) + (-4)/32. Which is smaller: z or w?
z
Suppose 0 = -8*a + 2*a - 6. Are a and 3/188 equal?
False
Suppose -5 - 13 = y. Let p be (2 + (-328)/156)/((-4)/y). Which is smaller: 1 or p