nd -921 equal?
False
Let l = -173 - -138. Let x be (-3)/7 + (-3 - 575/l). Is 51/4 <= x?
True
Let a(p) = 30*p + 180. Let n be a(-28). Let w be -4*(n/(-222) - 3). Which is smaller: w or 0?
0
Suppose 21*t + 56102 + 24184 = 17706. Is -2980 at least as big as t?
True
Let a = 5369.8 + -5370. Are a and -0.01 equal?
False
Let u(r) = 115*r - 2760. Let b be u(24). Which is smaller: -194/3 or b?
-194/3
Suppose 17194*o = 17196*o + 2312. Are -1156 and o non-equal?
False
Let j = 199/111 + 2105885/2109. Let z = -1000 + j. Does z = 2?
False
Let s be (-1 - 3)/((-12)/9). Suppose s*u + 2*u - 6 = 4*h, -2*u + 4*h = 0. Let j = -491 - -2469/5. Which is smaller: j or u?
u
Let m = -8808 - -6710. Is m at least as big as -2097?
False
Let g(f) = 12*f**2 + 18*f + 94. Let v be g(-4). Are v and 219 non-equal?
True
Let g = 10191.9 - 10189. Is 1/14 at least as big as g?
False
Let d = 0.76 + -0.8. Let b = 35.5 - 36.533. Let g = -0.033 - b. Is g less than d?
False
Let s = -9/257 + 4469/120276. Let y = s - -11/36. Which is smaller: 2 or y?
y
Suppose 84*t = 43*t + 46*t - 45080. Which is smaller: t or 9015?
9015
Suppose 60*n = 57*n + 36. Let r be (-6)/8 - 351/n - 2. Do -30 and r have different values?
True
Suppose -w = 8*w + 477. Let m = 53 + w. Is -1/35 smaller than m?
True
Let h be 206/(2*-1) - -1. Suppose -7*u - 990 = 4*u + 132. Is u at least as big as h?
True
Let p = -29 - 25. Let s be 3/(p/4)*-1. Let q = -45204.001 - -45204. Is q at most as big as s?
True
Let v(a) = -3*a**3 + 16*a**2 - 119*a + 800. Let w be v(8). Which is bigger: -659 or w?
-659
Suppose 25*a = 22*a + 15. Suppose i + 3*j - 6 = 9, 5*i - 95 = -a*j. Is 20 greater than or equal to i?
False
Let g = 0.03543 + -2.03543. Do 1767 and g have different values?
True
Let c = 86 + -19. Let j = c + -14. Let q = j + -52. Is 0.1 greater than q?
False
Let m = 1341 - 621. Let z be (-4)/((-12)/9) + m/(-460). Is 0 at most as big as z?
True
Let c(t) be the second derivative of t**2/2 + 12*t. Let n(q) = -q + 1. Let v(r) = 3*c(r) + n(r). Let h be v(4). Which is smaller: h or 2/73?
h
Let k(a) = a**3 + 80*a**2 - 320*a - 55. Let b be k(-84). Which is smaller: b or 2?
b
Let d = -194 + 1011. Let v = d + -811.9. Which is smaller: v or -0.2?
-0.2
Let a = 94 + -94. Suppose a*b + 7*b = 0. Let x = -17/9 + 109/72. Which is smaller: b or x?
x
Let j be (-15038)/(-5340) + 1 + -22 + 20. Let i = -9/178 - j. Are -1 and i nonequal?
True
Suppose -5*d + y + 53 = 0, 12 = -3*d - 3*y + 33. Let t be (-48)/(-32)*4/(-6) + d. Suppose 0 = -k - 5*r - 13, 2 + 12 = k - 4*r. Which is smaller: k or t?
k
Suppose 0 = 62*t - 23*t + 1131. Is -21 bigger than t?
True
Let p = 3.7 - 3.6. Let r = -87.5 - 18.5. Let l = -108.3 - r. Does p = l?
False
Let r be 1 - 36/44 - (-480)/22. Let g be r/8 + 15/(-20). Suppose -4*o - i = -24, -2*o + 4 = -g*i + 2. Are o and 1 unequal?
True
Let n be 284 + (5 + (-18)/4)*4. Which is greater: 1431/5 or n?
1431/5
Let o = -209 - -309. Suppose -21*n = -n - o. Which is bigger: n or 48/11?
n
Suppose 0 = -11*u + 6*u + 150. Suppose -3*f + 12 + u = 0. Let g = -70 + f. Is g at most -56?
True
Let v = 5131/1724810 + 7/1730. Which is greater: 1 or v?
1
Let l be 6/15 - (-66198)/(-165570). Let v = 1330076/16557 + l. Which is smaller: 80 or v?
80
Let f = -1863323/129 + 14444. Do f and 0 have the same value?
False
Let d be (-51)/136*3/9 - 1/(-8). Which is bigger: 43/119 or d?
43/119
Let r be 0 - (46 - 2 - -1). Let k be 3/(r/157) - 5/25. Do -12 and k have different values?
True
Let t = -1511 + 1523. Let m = 0.031 + 22.969. Let z = -23 + m. Which is smaller: z or t?
z
Let w = -10 - -9. Suppose -700 = -7*i + 14*i. Let g be (45/i)/((-16)/(-20)). Is g at least as big as w?
True
Let b = -8 + 17. Suppose 0 = -14*j + b + 19. Which is bigger: j or 23/9?
23/9
Suppose 15*x + 3080 + 1975 = 0. Let o be (9437/(-12))/((-28)/(-12)). Let i = x - o. Are 2/3 and i non-equal?
True
Let i(v) = 6*v**2 + 9*v + 1. Let d(q) = 5*q**2 + 10*q + 1. Let b(u) = -5*d(u) + 4*i(u). Let o be b(-4). Let j = 46 - o. Which is bigger: 25/3 or j?
25/3
Suppose -5*b + 16 + 82 = -4*a, 5*a - 80 = -5*b. Let w(t) = 36*t - 20. Let u be w(0). Let s = u + b. Which is bigger: 12 or s?
12
Let j(z) = -2*z**2 + 184*z + 2037. Let g be j(102). Which is smaller: g or -127/30?
-127/30
Let t = -79 - -126. Suppose -2*s = 3*d + t, 6*d - 7*d = -3*s + 12. Is d less than -16?
False
Let a = 2.494 + -2.594. Is a at most -32175?
False
Let z = 11 - 22. Let s = 10 - z. Let u = 24 - s. Which is smaller: 0.2 or u?
0.2
Let g be ((-2)/600*908 - -3)/(775 + -2). Is -1 greater than g?
False
Let q = 222 - 114. Let y = q - 54. Let z = 53 - y. Which is greater: z or 3?
3
Let u(y) = -3*y**2 - 43*y - 6. Let d be u(-13). Let r = d - 45. Let b = r - -38. Is 39 at least as big as b?
True
Let n be 3 - 1296/236 - -3. Let z = 1053/2419 - n. Let v(j) = -3*j + 28. Let x be v(9). Is z > x?
False
Let s be 77/3*(-2 + 4). Let t be 3 - 86/42 - (-98)/(-147). Is s less than t?
False
Suppose 34*t + 127 = -43. Let v be ((-92)/t)/(0 - (-6)/45). Are v and 137 unequal?
True
Let l be ((-337)/2)/(3017/168 - 18). Is 4044 at most l?
True
Let d(f) = f**2 + 7*f - 58. Let k be d(5). Let p(o) = -8*o + 17. Let i be p(k). Which is smaller: i or 2/161?
2/161
Let a = -4110.992 - -4111. Are a and -53 unequal?
True
Let f be -2 - (-538)/12 - 2/(-3). Let x = -40 + f. Which is greater: x or 3?
x
Let n = -29190 - -204213/7. Is -3/4 != n?
True
Suppose -2*n + 265 = -2*t - 3*t, -9*n - 6 = t. Suppose w + 260 = 6*w. Let r = t + w. Which is smaller: 1/21 or r?
1/21
Let c(v) = -4*v - 11*v + 7*v + 5 - 15*v. Let l be c(1). Let y = -18 - l. Are y and -41 nonequal?
True
Let r be 12 - (-260)/(-22) - 22414/(-22). Let x = r + -754. Is x less than or equal to 265?
True
Let c = 34.3 + -1.3. Let l = 33.2 - c. Let w be 2 + (-5)/3 + (-80)/144. Are l and w unequal?
True
Let k = -7 - -31. Suppose -k*i + 22*i - 20 = 0. Let m be 9/i + 4/10. Do m and 4/7 have the same value?
False
Let b be (4530/(-45))/((-10)/(-165)). Is 0.3 smaller than b?
False
Let a be (-95361)/(-45) + -3 + 473/165. Which is smaller: a or -1?
-1
Let o = 521 - 911. Let q = o - -390.041. Is q >= 2?
False
Let y = -33 - -36. Let g = -12 - y. Let i be 6/28*20/g. Which is smaller: i or -2?
-2
Let c be (-6)/15 + (-21)/(-15). Let x be (1 - c)/((-12)/2). Which is greater: 2/459 or x?
2/459
Suppose -5*k + 4*x - 645 = 967, 2*x + 652 = -2*k. Let g = k - -324. Which is smaller: g or -1.74?
-1.74
Let m = -11 + 83. Let w(q) = 104*q + 11. Let g be w(-3). Let y = g + 373. Is m greater than y?
False
Let c = -0.0414 - 0.0446. Let g = c - 0.014. Which is greater: 114 or g?
114
Let f(b) = 2*b + 1. Let v(m) = m**2 - 13*m + 32. Let p(y) = -2*f(y) + v(y). Let g be p(14). Which is greater: g or -100/9?
-100/9
Let f be (-8)/(432/9) - 983/6. Let x = f - -163. Which is smaller: -10 or x?
-10
Suppose 50 = 2*v - 2*i, -4*v + 2*v = -i - 53. Let k(s) = -3 + 6*s - v*s - 3 - 24*s. Let n be k(-2). Is n at most as big as 86?
True
Let u(k) = 52*k - 44*k + k**2 - 3 + 0*k**2. Let o be u(-8). Let r be ((-39)/(-9))/(-1) - 26/39. Is r <= o?
True
Let k be (-2 - 2)*(-8)/(-16). Let f be (-12 + 12)/(5 + k). Which is smaller: -5/4 or f?
-5/4
Let w be (6/4)/((-10)/(-20)). Suppose 6*f = w*f + 3. Let n be (0 + (f - 0))*26/(-1). Which is bigger: -27 or n?
n
Let w = 20 + -22. Let m be 42/(-18) + 3 + (-43)/(-3). Let a = -29 + m. Is a greater than w?
False
Suppose 0*n = 9*n + 72. Let f be 5/30*-9*n/219. Is f < 1?
True
Let x(y) be the first derivative of 3*y**2/2 - 20*y + 45. Let v be x(-4). Are -31 and v unequal?
True
Let m = 14109 + -8515. Is m at least 0.3?
True
Suppose 5 = 5*x + 5. Let i be (0/(1 + x))/((-12)/(-12)). Let o be 3/(-12)*2*6/(-87). Which is smaller: o or i?
i
Let i = -72.191 - -35.191. Let m = -5 + 4.6. Which is greater: i or m?
m
Let r = 19409 + -19162. Which is smaller: r or -1.7?
-1.7
Let a = -1081 + 4209. Which is greater: 3129 or a?
3129
Suppose -19 - 156 = 5*u + 4*y, 2*y - 83 = 3*u. Let h = -39/2423 + 2038796/65421. Let w = u + h. Are 0 and w equal?
False
Let p = 3631/439300 - 4/575. Which is greater: p or -1?
p
Let s be 13/((7/21)/((-12)/(-18))). Which is bigger: 698/27 or s?
s
Let n be 8/12*30/4. Suppose -a - n*o + 5 = 0, -5*o = -2*a - 0*o - 35. Let w = 4668 + -4679. Is w at least a?
False
Let n be ((-8)/30)/(4/6). Suppose 0*i - 4*i - 3*z + 32 = 0, -29 = -5