ent values?
True
Let b = 7773 + -9004. Which is smaller: 3 or b?
b
Let b = -55 + 57. Suppose -2*w - w = -b*r - 21, -2*w + 14 = 5*r. Is 2 at most w?
True
Suppose 15 = -5*t, 4*v - 31 = -v + 2*t. Suppose 2*r = -10*i + v*i + 23, 3*r - 12 = 0. Let n be i/52*(-12 - -4). Is n smaller than 3?
True
Suppose -3*j + 3 = 6. Let y be 1/(0 - (j - 0))*-3. Which is bigger: y or -38/11?
y
Let s(c) = 5*c + 20. Let u be s(-4). Suppose u = 4*n + d + 183, 2*d - 3*d + 52 = -n. Is n less than -44?
True
Let b(t) = t - 15. Let v be b(15). Suppose -m = -2*p + 5*p + 70, v = -p - 3*m - 26. Is 1 >= p?
True
Let t = 13763 + -12122. Which is greater: 3 or t?
t
Let b be ((-1)/38)/(26/(-176 - -20)). Which is smaller: -1/2 or b?
-1/2
Suppose -24*w + 70 = -19*w. Suppose -4 = -w*o + 10. Which is greater: -1/163 or o?
o
Let m = -246245/3 + 82083. Let t = 1 + 5. Let s be (1 + -1)/(t/(-3)). Which is smaller: m or s?
s
Let u be 12*3/(26 + 19). Which is smaller: u or 2?
u
Suppose -2*x - x = -2*h - 18, -3*x = 3*h + 12. Let d be 16/(-6)*(-9)/h + 9. Suppose -j = q - 29, -4*q - 36 = -d*j - 197. Are q and 35 nonequal?
True
Let z(n) = 9*n + 11. Let g be z(-2). Let d(k) = 4*k**2 + 28*k. Let f be d(g). Which is greater: 4/55 or f?
4/55
Let b(u) = -25*u**2 - 280*u - 167. Let k be b(13). Do -8033 and k have the same value?
False
Let g = -10809/7 + 1547. Let x = g - 47/14. Is x smaller than -85?
False
Suppose 0 = -s + 2*w + 58, -5*s + 2*s - w + 188 = 0. Suppose 0 = -3*p - 3*j + 12, p - j = -4*j + 4. Suppose 5*o - s = p*o. Is 61 smaller than o?
True
Let x be -12 + 15 + (-6)/2. Let m(u) = -6*u + 27. Let k be m(x). Is k >= 26?
True
Let y be -7 + ((-18717)/12 - 1). Let w = y - -351179/224. Which is smaller: 0 or w?
0
Let m(j) = -j**2 + 4*j - 31. Suppose i - 9*i = -24. Let b be (-7)/(-2)*(i + -5)*-1. Let r be m(b). Which is smaller: -53 or r?
-53
Suppose 2*w - a - 18 = 1, 0 = -4*w + 4*a + 48. Let k be 6 - -8*(-4)/(-8). Let c = -4 + k. Which is bigger: c or w?
w
Let u = -31196 - -35483. Which is bigger: -0.1 or u?
u
Let j = 3876 + -3861. Let b be 3/(-6) + (-394)/(-28). Is j greater than or equal to b?
True
Let b = -0.041 + -39.959. Let w = 38.1 + b. Let t = w + 2.1. Is -0.21 not equal to t?
True
Suppose -123 - 184 = -q - u, -589 = -2*q + 3*u. Is 302 <= q?
True
Let t(r) = 35. Let z(v) = v + 141. Let x(o) = -9*t(o) + 2*z(o). Let f be x(17). Do f and -4/31 have the same value?
False
Let h be (4 + (184/(-20) - -4))/(48/(-64)). Which is greater: h or 1.5?
h
Suppose -153*i = 204910 + 20918. Do -1476 and i have the same value?
True
Let z be 42/(-3) - 1580/(-110). Is z bigger than -1.4?
True
Let b = 8202 - 8201. Which is bigger: -3/1706 or b?
b
Suppose 5*l - 2*x = 102, 15*x - 18*x + 72 = 5*l. Which is greater: l or 239?
239
Let m = 2688/5 - 35224/65. Is -2/7 != m?
True
Let q = 2690 + -5878. Is q greater than or equal to 1/4?
False
Suppose -102*g = -94*g. Suppose 9*k - 137 + 47 = g. Let x be 73*1/6 + -2. Which is smaller: x or k?
k
Let x(b) be the third derivative of 5*b**4/24 + 45*b**3/2 - b**2 - 88*b. Let s be x(-23). Which is bigger: 16 or s?
s
Let t be (40/(-2680))/(5 + -1). Which is greater: 0 or t?
0
Let x = -46 - -46. Suppose 4 = -x*r + r. Is r >= 14?
False
Suppose -5*j + 3*u + 10 = 0, 3*u + 17 = -25*j + 23*j. Which is greater: 2/24307 or j?
2/24307
Suppose 224 = -0*s - 8*s. Let l be s/98 - 59/14. Let n(p) = 2*p + 6. Let z be n(-5). Is l != z?
True
Suppose -2*b + 2*o = -16, -7*o = -5*b - 3*o + 36. Let r be (4/48*388)/(2/6). Suppose b*t = -6*g + g + r, -3*t + 2*g = -67. Is 23 less than or equal to t?
True
Let m = -0.253 - -326.253. Let i = -457 + m. Is i < -1/4?
True
Let f = -1451404633/9673 + 150047. Which is smaller: 0 or f?
f
Let d be 5 + (5 - (2 - 5)). Suppose d*q = -50 - 314. Does -28 = q?
True
Let x be (-42)/(15/550*5). Let l be 5060/x*8/(-10). Is 14 at least as big as l?
True
Suppose 2*p + 26 = 90. Let j = 11647/360 + -83/72. Are p and j equal?
False
Let w = -132 + 135. Let v be ((-4)/w)/((-5)/120). Which is bigger: 30 or v?
v
Suppose -11*j + 27*j = 12*j - 4. Let n(w) = -145*w + 3. Let m be n(6). Let o = m - -40747/47. Is o bigger than j?
True
Let n be 152/24 - 6 - 142/(-6). Let c = 48 - n. Let j be c/(-30) - 2/10. Is -2/171 at least j?
True
Let s = 2.1266 - 633.3466. Let h = s + 631. Which is bigger: h or 1/7?
1/7
Let g be ((1215/(-6))/5)/((-272)/544). Does g = 2204/27?
False
Let p(h) = h**3 - 13*h**2 + 6*h - 9. Let i be p(13). Suppose 9*v + 24 = i. Let t(f) = -f**2 + 11*f + 61. Let l be t(15). Which is greater: v or l?
v
Let l(k) = -15*k**2 - 331*k - 667. Let t be l(-2). Is -127/2 greater than t?
True
Let i = 6.6907 - 6.66. Let j = -0.1417 + i. Which is greater: -0.2 or j?
j
Let y = -11 - -8. Let b be y/2*(-88)/(-18). Let f be 1*(-52 + (-1980)/(-45)). Which is greater: f or b?
b
Let j(t) = -t**2 - 4*t - 2. Let o(u) = -u + 5. Let w be o(8). Let h be j(w). Let k be (-4)/(-14) + 6/(-231)*11. Does k = h?
False
Let j = -344 + 348. Let s be (j/(-8))/((-44)/144*3). Suppose 0 = 2*w - 0*w. Is w not equal to s?
True
Let c = 0.1 - 0.1. Let j be (1/2091)/((-1373)/229 - -6). Let d = j + 1/123. Which is bigger: d or c?
d
Let b be (6/(-12))/(2/8). Let u be (-11)/b*24/(-16). Is -9 at most u?
True
Let g = -1868.22 - -1864.34. Let d(y) = -y. Let p be d(0). Is p at most g?
False
Suppose 0 = -j + 3*b + 11, -2*j + 3*b + 28 = 3. Let l be j/56 - (262/120 - 1). Which is bigger: l or -1?
l
Let u = -244 - -133. Let n = 55 + u. Let p be (-35)/n*(-3)/(-5). Are p and -1 equal?
False
Let n(i) = -4*i**3 - 15*i**2 + 125*i - 1005. Let t be n(11). Is t less than -6768?
True
Let p(d) = -d**3 + 16*d**2 - 9*d - 3. Let o be p(12). Suppose o + 2155 = 2*s. Let b be s/70 + (-1)/((-7)/2). Which is bigger: b or 17?
b
Let r = -91 + 119. Suppose -r + 43 = -15*z. Is z at most 2/195?
True
Let q = 2.37 + -7.87. Let l = q + 6.3. Which is smaller: l or 0.15?
0.15
Let o(q) = q**3 - 165*q**2 + 11*q - 1357. Let k be o(165). Is k less than or equal to 456?
False
Let d be (-55)/15 + 2/(-6). Let k be (-15)/d + -2 + -3. Suppose -39 + 15 = 24*c. Which is greater: c or k?
c
Let a be 2/(-4 + 10/3). Let j be ((-12)/32)/(a/11). Suppose i + i + 1 = -5*h, -3*i + 10 = -4*h. Is i bigger than j?
True
Let c = -2686 + 67149/25. Is c bigger than -175?
True
Let s = 6920 + -6906. Which is greater: s or -1/4?
s
Suppose 175*z = 358*z - 174*z - 18. Which is smaller: z or -3271/5?
-3271/5
Let g = 0.295 - -0.705. Suppose 0 = 2*f, k - 98 = 5*f + 72. Let w be (8 - 8) + (k/12)/(-5). Which is smaller: w or g?
w
Let j be 1 - 0 - (-30)/2. Let g be (15 - (3 - 9))/1. Let k = -6 + g. Which is greater: k or j?
j
Let x(g) = -18*g - 17. Let y be x(-1). Let k = y - -21. Is 11 less than or equal to k?
True
Let o be -10 - (9 + (-308)/19 - 3). Which is greater: o or 4?
4
Let f = -14 + 14. Let u = -6/1237 - -15126/58139. Which is smaller: u or f?
f
Let h = -24 + 17. Let y(u) = -u + 1. Let l(t) = 4*t - 11. Let p(d) = l(d) + 5*y(d). Let k be p(h). Which is smaller: -1/5 or k?
-1/5
Let a = 26581182458654/14202781657299 - -2/2321095221. Let t = 3856/3 + -111662/87. Let x = a - t. Is 0 equal to x?
False
Let w = -2109 - -1182. Is w at most as big as -927?
True
Let b = 177385/12 + -14782. Which is bigger: -4/25 or b?
b
Let t = 0.003 + 20.997. Let n = -21.06 + t. Suppose -26 = -7*v + 2. Is n at most as big as v?
True
Let g = -339651 - -339650.7. Let p = -38.969 - -39. Is p less than or equal to g?
False
Let c = -32371756/72443 + 12/10349. Which is greater: -446 or c?
-446
Let l be 12/(-10)*(-393540)/126. Is 3748 not equal to l?
False
Let k = 11.598 + 0.002. Let q = k - 11.715. Let i = q + -1.885. Do -0.1 and i have the same value?
False
Suppose 11*m - 47*m + 18*m - 6444 = 0. Is -3232/9 greater than m?
False
Let o = 2993 + 23. Is o equal to 0.1?
False
Suppose -12*c + 58*c = -250746. Is c != -5451?
False
Let i(u) be the second derivative of u**5/20 + u**4/3 + u. Let d be i(-4). Suppose 24 = -3*r + 82*a - 86*a, r = 5*a + 30. Is r bigger than d?
False
Suppose -5*t - 48 = -21*t. Let u be (-409)/t + 48/(-72). Which is greater: 1 or u?
1
Let s be (-4)/(-109)*(-3)/(-6). Suppose -n - 28 = -2*d, 12 = -5*n - 8. Suppose 20 = -5*w, 0 = -6*x + 2*x + 4*w + d. Which is bigger: s or x?
s
Let d = 345304 - 345321. Suppose -q = 3*q - 36. Which is greater: q or d?
q
Suppose w - 7 = -5*m, -2*m + 8 = -2*w - 2. Sup