m = x + -67. Which is smaller: m or 0.4?
m
Suppose 246938 = -34*l + 38518. Is l >= -6131?
True
Let o = -30915 + 30914.9521. Which is smaller: o or 0?
o
Let r be (110 + -111)*(-2)/(-6). Which is bigger: r or -13.29?
r
Let z(i) = -18*i**2 - 291*i - 5. Let c be z(-18). Does c = 0.5?
False
Let h = 36 + -42. Let w be ((-10)/h)/(25/6 - 4). Let j = -14 + 24. Is j >= w?
True
Let z(d) = 91*d + 720. Let p be z(-4). Is p greater than 1066/3?
True
Let c = -8/4360267 - -525015390595/758686458. Let g = c - 692. Is 0 greater than g?
False
Let g = 3392 + -2353. Which is smaller: 1044 or g?
g
Let b be (-729)/405 - (-3329)/1855. Which is greater: 7 or b?
7
Let m be (5 - (-513)/(-99)) + (-145087)/319. Are -448 and m equal?
False
Let o = -5211794/199 - -26190. Which is greater: o or 0?
o
Let k(z) = 27*z + 250. Let l be k(-4). Let c = l + -198. Is c smaller than -57?
False
Let g = -185.0958 + 185.89. Are -1 and g nonequal?
True
Let d = 14.022 + -0.022. Let i = -2171 - -32569/15. Do i and d have the same value?
False
Let p = 1781174183/12620 + -141139. Which is bigger: p or 0?
p
Suppose 3*l - 2*x = 52 + 593, 444 = 2*l + x. Are l and 219 non-equal?
False
Let i(y) = 7*y**2 - 32*y - 220. Let k be i(-4). Suppose 0 = -5*p + 249 - 64. Let h = -19 + p. Is k <= h?
False
Let x be 2/4*(-130 + -28). Let b = x - -85. Let w(v) = -2*v**2 + 12*v. Let c be w(b). Is -12 >= c?
False
Let t be (77/(-56)*2)/((-6)/112). Suppose -3*k = -5*k - 100. Let b = k + t. Is b <= 2?
True
Let p = -11781 - -12515. Are 6598/9 and p unequal?
True
Let g(s) = -10*s + 111. Let m(b) = 7*b**2 + 6*b + 2. Let y be m(-2). Let w be g(y). Is -68 less than or equal to w?
False
Let z(w) = -57*w**2 - 156*w + 2. Let d be z(-9). Which is bigger: d or 0?
0
Let f = -37.7089 + 0.6389. Let s = -195 - -232. Let w = s + f. Is -2/5 less than w?
True
Let y = -10865 + 10864.65. Let z = 3.1 - 3. Which is greater: z or y?
z
Let r(h) = -h**3 - 44*h**2 + 45*h - 96. Let s be r(-45). Which is bigger: s or -100?
s
Let n be -1 + 0 + 1 + 117685/125. Let s = n + -941. Which is smaller: s or -1?
-1
Let g be -4*2/88 + 13/143. Let r = -50272/57 - -882. Is r < g?
False
Let c(m) = 782*m - 65. Let n be c(0). Is n smaller than -1388/21?
False
Let a be ((-2)/6)/(2/(-6)). Let s(m) = m**3 - 14*m**2 + 5*m - 34. Let f be s(14). Let g be (0 + (-20)/116)*f/(-45). Which is smaller: a or g?
g
Let a = 530516 - 20228044566/38129. Which is bigger: 0 or a?
0
Let d = 2/63237 + 1074161/27444858. Are 1 and d equal?
False
Suppose -3*c - 17 = 10. Let n be (-3)/(0 + 3/(-3)). Suppose n*z - 12 = 7*z, 30 = -3*d - 2*z. Which is smaller: d or c?
c
Let g = -7342/3 - -2447. Is g greater than or equal to -1891?
True
Let m = -243354582/1469 + 165660. Which is bigger: -1 or m?
m
Let q = 5881 + -5889. Is q smaller than 0.4?
True
Suppose 4*m + 1516 = -772. Which is smaller: m or -565?
m
Let h(w) = -w**3 + 27*w**2 - w + 16. Let r be h(24). Let g be (3126/(-16))/(-3) - 215/r. Which is greater: 63 or g?
g
Let o = 213 - 185. Let m be (240/o)/((-28)/686). Which is smaller: -211 or m?
-211
Let p = 53.03 - 52.42. Which is smaller: 9 or p?
p
Suppose -3*g + 7*h = 936, -2*g = -3*h + 369 + 255. Which is bigger: g or 0.8?
0.8
Let r = 132 + -132. Do -352 and r have different values?
True
Let j(f) = -3*f**3 + 4*f**2 - 5*f + 11. Let h be j(3). Let v be (-24)/(-72)*(-2)/h. Are -1 and v equal?
False
Let v(o) = -23*o - 3. Let n be v(-2). Suppose -45*x - 798 = -38*x - 26*x. Which is bigger: x or n?
n
Let b = -2663 + 1782. Is -1759/2 not equal to b?
True
Let d(g) = g**2 + 30*g - 1. Let t be d(-30). Let r be t + (-14)/(-18) - (-342)/81. Which is smaller: r or 3?
3
Let h be (-23 - (1644 - -29))*(-3)/6*5. Is -1/8 >= h?
False
Let j(a) = 6*a + 11. Suppose 226*h - 236*h = 20. Let d be j(h). Let l be (-4)/(-14)*(-9)/2. Is l less than d?
True
Suppose 5*s = 4*z + 128, 3*s - z = -6*z + 62. Let r be (-3)/6 - 0 - (-4)/s. Let n = -52.71 - -52.8. Which is smaller: n or r?
r
Let f = -167 - -154. Let a(x) = 2*x**3 + 25*x**2 - 14*x + 12. Let o be a(f). Let b be ((-3)/(-3))/(-5) - (-5)/o. Which is bigger: b or -8/47?
b
Let z(t) be the first derivative of -3/2*t**2 - 3*t - 21. Let r be z(-2). Are r and 5 unequal?
True
Suppose -1 = -j - 0*j. Let n = 182420 + -182412. Is j >= n?
False
Let r = -22 + -13. Let l = 417 + -461. Let j = l - r. Which is smaller: j or 0?
j
Let c be (0 + -3)/((-4)/(-44)). Let o(q) = 20*q - 8. Let s be o(6). Suppose 2*l - 4*k = -76 - 4, -4*l - s = 4*k. Is l smaller than c?
False
Let r(t) = -21*t + 34 - 36 + 28 + t**2. Let i be r(20). Let s be (-52)/26*(i/4)/3. Which is greater: -2/11 or s?
-2/11
Suppose -11*t + 1167 = -615. Are 160 and t unequal?
True
Let j = -3 - -2. Suppose -5*f + 2 - 7 = 0, -5*h + 4*f - 131 = 0. Let o be (-75)/(-25) + 87/h. Which is greater: o or j?
o
Suppose 0 = -118*p + 6565 + 19277. Is 1 < p?
True
Suppose -2*p + a + 79 = 0, 10*p - 9*p - 4*a - 43 = 0. Suppose 0 = 139*y - 126*y - p. Is 11 at least as big as y?
True
Let r(n) = -3*n**3 + 334*n**2 - 107*n - 626. Let s be r(111). Is s >= 2?
False
Let n = 927 - 927.373. Let l = -0.773 - n. Do l and -27 have the same value?
False
Suppose 3*s + 2*f + 11 = 0, 16*s + 31 = 19*s - 4*f. Which is greater: s or 14/1355?
s
Suppose 2*k - 3*w + 3 = 0, 20 = -5*k - 7*w + 2*w. Let r be (1 + 12/16)*(k - 1). Let h be (0 - (9 - 5))*r. Which is greater: h or 2?
h
Let s = -654 + 675. Are s and -5 nonequal?
True
Let q(k) = -k - 7. Let i be q(-6). Let b be i*(2 + 0)/(-1). Let j = 18 + -95/6. Is j not equal to b?
True
Let l = 0.117 + 113.883. Let c = l + -127. Which is smaller: 0 or c?
c
Suppose 4*z + 6*z - 40 = 0. Suppose 5 - 21 = -z*s. Let o be 2 + (-7)/s - 186/24. Does -7 = o?
False
Let u = -0.06089 + 0.16089. Which is bigger: 1519 or u?
1519
Suppose -250 = 3*h - z + 6*z, -3*h = -2*z + 215. Let d be -16322*(-6)/(-102508) + (-74 - h). Let y = -2/523 + d. Which is smaller: -1 or y?
-1
Let l be (17 - 14)*(-11915)/15. Which is bigger: l or -2382?
-2382
Let n(f) = -59*f - 7. Let r be n(-1). Suppose 38*g - 36*g = -r. Let s(v) = -v**3 + 8*v**2 - 4*v + 5. Let q be s(8). Which is greater: g or q?
g
Let p be 1*(2 - 2) + 7866/(-3795). Is -1 not equal to p?
True
Suppose -5*y - 3*d + 980 = 0, 5*y + 4*d = 735 + 245. Suppose -y = 12*n - 4. Is -15 >= n?
True
Let b be (16/10)/((-1)/70). Let t be (b + 1)*(7 - 10). Do t and 333 have the same value?
True
Let q(v) = 3*v + 11. Let u be q(-5). Let j(t) = -t**2 - 1. Suppose 0 = -y + 3*x + 9, 3*y + 8*x = 4*x - 12. Let f be j(y). Which is smaller: u or f?
u
Suppose -11*y + 25*y - 210 = 0. Let o be y/(-2775)*(-1 + 2). Which is smaller: 1 or o?
o
Let a(b) = -4*b - 33. Let y be a(-8). Let o = -481 + 8231/17. Let l = o - 844/255. Are y and l nonequal?
True
Let f = -44.8 + 44.7725. Let u = f + 0.0275. Which is greater: u or 0.075?
0.075
Suppose 0 = -28*x - 19*x + 18*x. Which is bigger: -2/16799 or x?
x
Let r = -2314 - -2318. Let d be 36/(-27)*3/2. Which is smaller: d or r?
d
Let i be (-2)/(-42)*96/36. Suppose 4 = -2*o + 3*a, 6 = 3*o + 5*a - 7. Which is bigger: i or o?
o
Let u = -98.5383 + -0.0617. Let a = u - -11.6. Which is bigger: -0.1 or a?
-0.1
Let m(v) = -3*v**3 + 2*v**2 - 11*v + 446. Let y be m(0). Which is smaller: 449 or y?
y
Suppose 123*w + 38862 + 114127 = 14122. Are -1129 and w nonequal?
False
Suppose 0 = -g + 5, 5*s - g = 285. Suppose -6*a + 117 = 579. Let t = -20 - a. Is s smaller than t?
False
Let r = -4/385 + -15773/1155. Let h = -108.9 + 109. Is h smaller than r?
False
Let s be (11 + 59)/(1/(-34)). Let p = 45210/19 + s. Which is bigger: p or 0?
0
Let i be 15*(-1)/(10/(-42)). Suppose -19*s + 16*s = -i. Which is greater: s or 39?
39
Let n be (-8)/(-30)*5/(-2)*144/218640. Is 0 > n?
True
Let o = -17/52 + -1/156. Is 901 >= o?
True
Let w(u) = u**3 + 20*u**2 - 12*u - 269. Let c be w(-20). Which is smaller: c or 46?
c
Let k(t) = -392*t + 892. Let h be k(-38). Are h and 15788 non-equal?
False
Suppose 14*u + 2*j + 12518 = 16*u, 4*u - 25045 = -5*j. Is 6261 at least u?
True
Suppose 0 = 5*i + 5*g - 3 - 7, -2*g - 4 = 0. Which is smaller: i or 32?
i
Suppose 0 = -4*h - 49 + 53. Let f be (-76)/(-10)*(h - (-15)/(-12)). Is f less than or equal to -3?
False
Suppose 0 = -v + s + 8, -14 - 2 = -v + 3*s. Suppose -5*h + h + 5*g - 36 = 0, 3*h + 58 = -v*g. Let o be -2 + -2 - 11 - 0. Is h equal to o?
False
Suppose 5 = -h, a + 11 