nd p have the same value?
False
Let j = -0.07 - -26.07. Let u = j + -25.96. Is 0 smaller than u?
True
Let p be ((-336)/72030)/((-3)/(-15)). Do 0 and p have different values?
True
Suppose 0*p = 3*p. Let s be -1*(-2)/(-1) - 5. Let j = s + 10. Which is greater: p or j?
j
Let j be (-1 + 1 + -1)/((-2)/(-4)). Suppose 3 = 3*k - 4*k. Is j less than or equal to k?
False
Let k be (23 + -94)*(-6)/(-3). Is -143 bigger than k?
False
Let q(v) = -v**3 + 2*v**2 + 5*v + 1. Let m be q(3). Let y be m*5/10 + -1. Let r = -1 - -5. Is y bigger than r?
False
Let u(n) = n + 12. Let i be u(0). Let y be (-814)/132 + 2/i. Is -33/7 less than or equal to y?
False
Let t be (-32)/(-7) - 75/(-175). Which is bigger: t or 50/11?
t
Let h(t) = -2*t + 5. Let p(s) = s. Let a(l) = h(l) + 3*p(l). Let o be a(-8). Let q = 0.27 - -0.03. Is q at least o?
True
Let s = 1024 - 1022. Which is bigger: s or 8.48?
8.48
Let q(k) = k + 2. Let z be q(-2). Let b be -1 + 58 - ((-2 - -1) + z). Does b = 58?
True
Suppose 53*m - 48*m = 595. Let y = 142 - m. Which is smaller: 22 or y?
22
Suppose 65*d - 60*d = 0. Let y be (-4)/18*7/(-2). Is y <= d?
False
Let x be (6/240)/(10/(-20)). Which is smaller: 0 or x?
x
Let b = -233/20 + 57/5. Let o = -3 - 12. Let d = o + 14.7. Which is greater: d or b?
b
Let j = 14 + -14.2. Which is greater: j or 54?
54
Let w be (-3)/2 + (-4 - (-45)/10). Let h be ((-6)/165)/(33/15). Is w < h?
True
Suppose 15 = 4*q + 3*l, 3*q = -0*q + 2*l - 10. Suppose q = s - 5*s + 16. Suppose 2*x + 0 = h + s, -h - 5*x = -10. Is h bigger than 3?
False
Let r = 2324 - 285854/123. Which is smaller: -14 or r?
-14
Let p be 1388/(-1652) + (-60)/(-70). Is p greater than or equal to 1?
False
Let p(d) = d**2 + 31*d + 210. Let m be p(-21). Which is bigger: m or -1/3606?
m
Let n be 42*((-3)/12)/(10/(-20)). Suppose v = -2*u + 55 - 15, v = 4*u - 92. Suppose -5*d = -83 - u. Is d > n?
False
Suppose 0 = 4*g + 18*p - 22*p - 32, 0 = -3*g - p + 24. Is 15 equal to g?
False
Let v = 8.192 - 8.16. Is 1/2 equal to v?
False
Let h(d) = -d**2 + 0 + 0*d**2 + 0*d**2 + 3 + 2*d. Let x be h(3). Which is smaller: -1/22 or x?
-1/22
Let z be (96/(-2232))/(2/(-3)). Let a be (12/16)/(3/(-2)). Is z greater than a?
True
Suppose -2 = 3*d - 29. Do 7 and d have different values?
True
Suppose -9*z = -8*z - 2. Suppose -l - z*l + 12 = 0. Let j(d) = d - 3. Let t be j(l). Is 5/3 bigger than t?
True
Suppose 0 = -51*v + 3419 + 7138. Do v and 209 have the same value?
False
Let s = 14956 + -14954. Suppose -4*z + 4*b + 20 = 0, 5*z - b - 12 = 5. Suppose 4*p = 4*o + p - z, -4*p - 4 = o. Is o smaller than s?
True
Let c = 0.078 - -11.922. Let g = -2.9 + -0.1. Is g bigger than c?
False
Let t = -30/53 + 104/371. Suppose 21 = 4*w + 5*j, 3*j + 5 - 17 = -3*w. Is t less than w?
False
Let n = 0.522 - -0.478. Which is smaller: 444 or n?
n
Suppose -4*p + 7 = -5*p. Let c be 30/p + (-4)/(-14). Let t be 4*(-9)/24*2. Is c greater than or equal to t?
False
Suppose -4*p = -5*l + 15, -2*l = -p - p - 6. Let w = l + -3. Let j = -5297/5 + 1059. Which is greater: w or j?
w
Suppose 10*g + 23 = -37. Let t be (26/g)/((-9)/(-27)). Suppose -s + d - 7 = -d, -5*s + d = 71. Which is smaller: t or s?
s
Let v = 2583 - 1250173/484. Is v bigger than -1?
True
Let w = -10564/5 - -2185. Which is greater: w or 71?
w
Let n = 3.72 - 0.32. Let m = -0.4 + n. Let v = 2.9 - m. Which is greater: -2/3 or v?
v
Let f = 1 + 3. Suppose -i - 3 = -f. Let t = 9 - 8. Is t at most as big as i?
True
Suppose -2*s = -61 - 249. Let h = 41 - s. Let i be 45/h + 4/8. Which is smaller: 1 or i?
i
Let y be -2*(0 - (-4 + 2)). Let p(b) be the first derivative of b**4/4 + b**3/3 - 5*b**2 - b + 24. Let f be p(y). Is f greater than -9?
False
Let r = 93/118 - 9/236. Are 21 and r equal?
False
Let m(d) = 9*d**2 - 27*d - 1. Let j(g) = -10*g**2 + 26*g + 2. Let i(c) = -3*j(c) - 4*m(c). Let q be i(6). Is q > -38?
False
Suppose 0 = -3*x + 18 - 3. Let t be (-2)/8 + x/20. Suppose -4*o - m + 6 = 1, -2*m + 10 = t. Is o not equal to -2/41?
True
Let n(v) = v**2 + 9*v + 18. Let o be n(-7). Let h(z) = -9*z - 9. Let d be h(o). Which is smaller: -44 or d?
d
Let m = -306 - -318. Which is greater: -2 or m?
m
Let g = -1 - -3. Let f = -34 + 22. Let j be (-11 - f)/((-1)/(-3)). Do j and g have the same value?
False
Suppose -2*x - 5*m - 6 = 0, 3*m + 4 = -2*x - m. Suppose -x*j + 13 = -45. Let q be j/(-102) - (-5)/30. Which is greater: q or -1?
q
Let n be -1 + (20/30)/1. Is -0.049 not equal to n?
True
Let c be (3/10)/((-5)/((-120)/(-18))). Is 15/4 less than or equal to c?
False
Let l = -86.89 + -0.11. Let a = l + 156. Which is smaller: a or -0.1?
-0.1
Let p be (-371)/49 + 56/98. Is p less than or equal to 130?
True
Suppose 436 = -3*v - 8. Is v less than -148?
False
Let c = -1157 - -68261/59. Suppose -2 = 4*w - 3*z, -12 = -4*w - 3*z - 2. Are w and c nonequal?
True
Suppose -3*k + 52 = -2*r, 2*r = -0*r - 10. Let b(o) = 2*o**2 - 26*o - 28. Let v be b(k). Which is greater: 10/11 or v?
10/11
Let a = 28 + -31.2. Let h = a - -22.2. Is 0 at least h?
False
Let x(b) = 552*b + 2187. Let h be x(-4). Let g(w) = -w**3 - 20. Let m be g(0). Are h and m non-equal?
True
Suppose -c + 4*s = -549, -4*c = -3*s - 1459 - 750. Which is bigger: 554 or c?
554
Let q be (12/(-8))/((-3)/6)*1. Which is greater: -105 or q?
q
Let s = -53037/170720 - -105/352. Which is bigger: s or -1?
s
Suppose -69*j - 8148 = -48*j. Which is smaller: -389 or j?
-389
Let v = -252 - -251. Which is bigger: 0.22 or v?
0.22
Let v = -1914/13 - -12228/91. Does -12 = v?
False
Suppose -2*s + 4 = 2*k - 6, -2*k + 4*s = 2. Let f = 28 - 26. Suppose -5*v - 5*y + 5 = 0, 2*v - f*y = -1 + 3. Which is bigger: v or k?
k
Let q(x) = -3*x + 4. Let z(w) = -3*w + 3. Let d(v) = 3*q(v) - 4*z(v). Let n be d(1). Suppose n*b = 2*b - 11. Is b <= 0?
True
Suppose 3*g + 2*g + 90 = 0. Let k(l) = -7*l - 55. Let x be k(g). Is 72 less than x?
False
Let w = -34.3 + -12.7. Are w and 2 unequal?
True
Suppose -x + 2*m = 220, -4*m + 45 = 37. Is -217 less than or equal to x?
True
Suppose 1031 = 4*n - n - 5*z, 5*n - 1737 = -z. Let h = 1726/5 - n. Is h greater than or equal to -2?
True
Let n(m) = -85*m**3 + 5*m**2 + 5*m + 1. Let b be n(-1). Suppose 3*p + 165 = 2*w, 0 = 4*w + 3*p - 521 + 164. Is b equal to w?
False
Let y be (-6015)/52 + (-18)/(-24). Let w = y - -115. Suppose 5*k + i = 2*i + 4, 0 = k - 3*i - 12. Which is bigger: k or w?
w
Let n be (9/(-6))/((-33)/88). Are n and 6 unequal?
True
Suppose -2*o - 17 = -27. Let f be ((-6)/8)/(61/8 - o). Which is smaller: f or -25?
-25
Let b be 2/3 + (-3)/(-9). Let p be ((-1)/38)/((-2)/(-168)). Let a = p + 477/190. Is b at least a?
True
Suppose 5*r + 21 = 31. Let j be (-3)/r*5/15. Is -2.7 at most as big as j?
True
Suppose 96*d + 256 = 80*d. Is -4 < d?
False
Suppose 3*z - h + 3 = -2*h, -z - 3*h - 1 = 0. Are -13/7 and z nonequal?
True
Let b be (208/(-100) + 2)/(-2)*1. Is b bigger than -1?
True
Suppose 23*g - 2*g - 63 = 0. Let o = -4 + g. Which is greater: 1/122 or o?
1/122
Let m be -1 + (1/3)/(9/1053). Is -4 less than or equal to m?
True
Let v = 114 - 120.9. Let t = v - -7. Is -0.4 less than or equal to t?
True
Let i = 3 + -3. Suppose 15 = -i*g - 5*g. Let s = 0.3 + 0.3. Which is greater: g or s?
s
Let p = -6981 - -160589/23. Are 1 and p nonequal?
True
Suppose -24 = -4*y + 284. Let h = y + -229/3. Which is bigger: 10 or h?
10
Let r = 0.07 - 0.01. Let z = 207 + -206.84. Let n = z - r. Which is bigger: 14 or n?
14
Suppose -h + 2*g = 75, 0 = h - 0*g + 3*g + 55. Let l be (-1)/(3/(-1 - h)). Let j = l + 25. Is j at most as big as 0?
False
Suppose 4*j = -6 + 18. Let t be j/18 + (-1)/4. Suppose 3*c + 2*l + 17 = -2*l, -c = 3*l + 14. Which is smaller: c or t?
t
Let b = -63 - -270. Suppose 20*n - b = 17*n. Are n and 69 nonequal?
False
Let c be ((-1)/5)/(4/1228) + -4. Let z = c + 65. Is -2/5 smaller than z?
False
Let v = 4.071 - 0.061. Let z = v - 0.01. Let m be 3/7 - (-108)/(-105). Which is bigger: m or z?
z
Let y = 16 + -16. Let u be 2 + 5 - y - 2. Suppose -u*t + 3*t = -16. Is t at most 5?
False
Let g(p) = -55*p - 61. Let k(c) = 11*c + 12. Let o(v) = -2*g(v) - 11*k(v). Let b be o(-3). Which is greater: 22 or b?
b
Let c = 203 + -227. Is -25 at least c?
False
Let v = 0.4 - 0.6. Suppose -3 = f + 1, 5*f = -2*q - 14. Do v and q have different values?
True
Let y = -871/9752 - -1/424. Do -2/7 and y have different 