
s
Suppose 2*m = -2*y - 2*y + 18, 0 = m + y - 5. Let r = 11643 - 3772333/324. Which is greater: m or r?
m
Let i = 58 - 57.398. Let y = 0.398 + i. Which is greater: 0.365 or y?
y
Let y = -2372 + 2711. Which is smaller: y or -7?
-7
Let p be 4/(-14) - 1220/385. Let x = p - -71/22. Is x > -1?
True
Let y be -28*(3870/8)/9 + -7. Which is smaller: -1514 or y?
-1514
Suppose -3*t - y + 1132 = -103, -4*t - 4*y = -1628. Which is greater: t or 418?
418
Let d = 5.428 + -7.03. Let y = -2.543 - d. Let o = 0.041 + y. Which is smaller: o or 0.1?
o
Suppose 0 = -5*x + 7*x - b + 63, -4*b = 4. Let k(r) = -r**3 - 7*r**2 - 6*r - 7. Let a be k(-4). Is a at most x?
False
Let j = 11 - 30. Suppose 870*k - 265 + 16967 = 172. Do j and k have different values?
False
Suppose -4*a - 12 = x, -4*x + 36 = 794*a - 799*a. Which is smaller: 130/33 or x?
130/33
Let x = -9 + 18. Suppose 9 = 9*b - x. Let p = b - -13. Is 13 <= p?
True
Let a = 191 + -188.63. Let j = -31313/36 - -7826/9. Is a <= j?
False
Let z be (178/623)/(1 - (-18)/(-14))*0. Let b be 762/248 - 0 - 3. Which is smaller: z or b?
z
Let b = 15185 + -15184.9126. Is -7/4 bigger than b?
False
Suppose -23*u = -22*u + 7. Let d(p) = -p - 6. Let k be d(u). Which is greater: k or 2/235?
k
Let q(b) = -98*b + 683. Let k be q(7). Is -5/3 not equal to k?
True
Let x = 709 - 665. Suppose 4*b + 5*t = -x, -5*b - 8*t - 55 = -10*t. Is b less than -133/11?
False
Suppose 2*g - 6 = -2*s, 2*s = g - 0*s + 6. Suppose -k = -w + 4*w - 34, g = 5*w + 2*k - 58. Suppose -6 - 4 = -w*f. Is f at least as big as -2/17?
True
Let y = 239.9 + -257. Let p = -16.1 - y. Which is bigger: p or -8/7?
p
Let b(n) = n + 72. Let w be b(-5). Suppose -q = -2*j + 3*j - 16, -j + w = 4*q. Which is greater: 33/2 or q?
q
Suppose -4*h - 2*q - 3*q - 3 = 0, -13 = 4*h + 3*q. Let p = 34 - h. Suppose n + p + 20 = 0. Is -60 <= n?
False
Suppose 0*l + l = 4*l. Suppose -m + 2*n - 1 = 0, l = -3*n - 4 - 2. Is m less than or equal to 1?
True
Let u = 3261/28 - 1034/7. Let i = -5 + 4.9. Which is bigger: i or u?
i
Let x(a) = -a**2 + 121*a + 1453. Let g be x(-11). Which is bigger: -36/1003 or g?
g
Let i = 0.937 - 0.147. Let x be 8/(-12) + 2/3. Are i and x equal?
False
Let l = 3 - 2. Let y = -138.74 + 17.74. Is y >= l?
False
Let r = 162843 - 654907/4. Which is greater: -884 or r?
r
Let w = -95 + 135. Let k = 41 - w. Is -3 bigger than k?
False
Suppose 183*f + 130340 = 88*f. Is f > -1371?
False
Suppose -16*m + 21*m = -8*m - 0*m. Is -20/67 at least as big as m?
False
Let y = 1.7 + 0.3. Let h = y - 1. Let m = -2833 + 2834. Is h <= m?
True
Let p(n) = 3*n**3 - n**2 - 6*n + 2. Let r be p(3). Suppose -19*u + 23*u - r = 0. Let k = -6 - -5. Are k and u equal?
False
Let y(h) = h**3 + 12*h**2 + 13*h + 20. Let u be y(-11). Let i be -5 + (-204)/(-100) - (-1 + u). Let k be ((-1)/(-2))/(2/(-4)). Which is bigger: i or k?
i
Let g(x) = 2*x**2 - 45*x - 27. Let k be g(23). Let w(u) = -u**3 - 2*u**2 + 9*u + 1. Let v be w(k). Is v greater than -39?
True
Let h be 2/14*-152 + (-62)/217. Let g = h - -28. Suppose 32*y + g = 29*y. Is y < -2?
False
Let l be -36*1/((-5)/(-15)). Let u = -158 - l. Does -48 = u?
False
Suppose x - 22 = -2*p, 4*p - 3*x - 40 - 4 = 0. Let w(r) = -r**3 + 10*r**2 + 11*r. Let z be w(p). Let l = -7186/13 + 554. Which is bigger: z or l?
l
Let y be (-6)/10 + (368005/(-2200) - 1/8). Is -144 not equal to y?
True
Let y(x) be the first derivative of 3*x**2/2 - 8*x - 83. Let g be y(0). Does g = -8?
True
Let i be 4620/2233 + 4/(-58). Let q = 4 + -1. Suppose -i*b - q*w - 47 = 0, 5*w + 72 = b - 4*b. Is b bigger than -2?
False
Suppose -2 = -5*a + 4*p, -4*a + 3*a = -p. Let d be (-4 + (-104)/(-24))/((-15)/(-4725)*7). Which is bigger: d or a?
d
Let v = -0.085 - 1.915. Let c be (-1 - 9/(-63))/((-5)/(-77)). Are c and v equal?
False
Let s be 9/90 + (-8157)/(-30). Let r = 859/3 - s. Which is bigger: r or 13?
r
Suppose 0 = -5*y + 3*g + 6, 3*g = -87*y + 83*y - 6. Let t = -7 + 5. Let a be ((-2 - -5) + t)/(-1). Is y greater than or equal to a?
True
Let y be 4/(-14) + (-222)/7. Let p = 621349/3 - 207149. Are y and p non-equal?
True
Let m = 0.71 + -436.71. Let v = 429 + m. Which is smaller: -32 or v?
-32
Suppose 3*n = 2*n. Let c = 43571 + -9542050/219. Is n greater than c?
True
Suppose 18*s - 9*s - 18 = 0. Suppose 4*o + 116 = -s*k, 4*k + 10 = -k. Which is greater: o or -26?
-26
Let l(o) = 4*o**2 - 13*o + 4. Let p(i) = -4*i**2 + 14*i - 6. Let k(d) = -4*l(d) - 3*p(d). Let x be k(4). Is x at least -23?
True
Let f = -117359/868614 - -8/6117. Which is smaller: -1 or f?
-1
Let m be (-3 - -1)/(32 - 26). Does m = 2.547?
False
Suppose 0 = -4*t - 3*k + 310 - 125, -2*t - k + 93 = 0. Is t at least 41?
True
Let s = -4228 - -4663. Which is greater: s or 436?
436
Let l = -9436 - -18853/2. Is -1 greater than l?
True
Let f(r) = 118*r + 4705. Let w be f(-40). Are 0.645 and w nonequal?
True
Let b = -128/906321 - -3504760088/19370798733. Let a = -2/1943 - b. Which is smaller: a or -5?
-5
Let r = -46.9696 + -0.0304. Let a = -2.7 + -0.3. Which is greater: a or r?
a
Let m = 27.08 - 26.36. Is m at most 2?
True
Let y(d) = -d**3 - 8*d**2 + 304*d + 26. Let h be y(14). Is -500/17 <= h?
False
Let f = -69 - -93. Suppose 22*u = -f*u - 2484. Which is bigger: -55 or u?
u
Let o be (-4 - 528/(-138))/(-202). Is o less than or equal to 1?
True
Let c = 3595 + -5021. Do -1/3 and c have the same value?
False
Let x = 2422 - 2399. Is 158 >= x?
True
Let z be 382/(-194) - (7 + -9). Let i = -5724 - -5724. Which is greater: i or z?
z
Let o = 0.07 + 0.23. Let f = o + -0.2. Let i = -2679 - -2677. Are i and f equal?
False
Let h be ((-12)/(-16))/(75/(-40)) + (-14)/(-35). Is h less than 3/9071?
True
Suppose 0 = -132*j + 689 - 62069. Which is smaller: j or -466?
-466
Let t = -8517179 + 621744697/73. Let p = t - -4180454/32485. Let y = 6/89 + p. Which is smaller: y or 0?
0
Let b be (0/4 - 0)/2. Suppose -4*f + 3*u = 6*u - 55, b = 3*f + u - 35. Which is smaller: f or 12?
f
Let j = 29414 - 9736071/331. Which is bigger: j or 0?
0
Let s = -2326/19 + 7210/57. Are s and 4 non-equal?
True
Let m = 233 - 233. Let w = 973 - 10711/11. Which is smaller: m or w?
w
Let y = 963 - 462. Let c = 500 - y. Is c >= -0.216?
False
Let c(f) = -274*f - 1366. Let k be c(-5). Is k not equal to 69/26?
True
Let m be (-1 - (6 - 4))*-3. Let j(d) = d**2 - 15*d + 53. Let h be j(m). Let b be 25/4*6/135. Which is bigger: b or h?
b
Suppose 163*n - 21865 = 168*n. Which is smaller: n or -4374?
-4374
Suppose -63*r + v = -64*r + 131, -5*r + 5*v + 605 = 0. Which is bigger: 127 or r?
127
Let h = 7516/15 + -500. Let c = -1.3 - -1.2. Which is smaller: c or h?
c
Let s = -5/77 - 1/33. Which is smaller: 23 or s?
s
Let m be -1*9/(468/52). Let r be ((-26)/(-4))/(22/(-4)). Is r at most m?
True
Let v(z) = -z - 4. Let j(b) = -b**3 + 14*b**2 + 6. Let o be j(14). Suppose -8*n + o*n - 24 = 0. Let w be v(n). Which is smaller: w or 9?
w
Let g = 135354992/1177 + -115000. Is g less than 0?
True
Let t = -1 - -1. Let o = 822 - 829. Which is smaller: o or t?
o
Suppose 178*t + 3*s + 10 = 180*t, s + 3 = t. Is -134/83 smaller than t?
True
Let a be 2/(-7) - 4/(-112). Let f = 154.27 - 154. Let z = f + -0.17. Is a bigger than z?
False
Let o = 134 - 140. Let q = 69 + -34. Suppose 0 = 4*u - 9*u - q. Which is smaller: u or o?
u
Let r be (-12)/(-6) - 16/(-5). Let w = r + -31/6. Is 1 at least w?
True
Let n = 626 - 656. Let y = 0 + -6. Let b = y - n. Are -2 and b nonequal?
True
Let z(o) = o**3 + 7*o**2 + 3*o - 3. Let v be z(-6). Let j be (90/162)/(20/540). Is v > j?
False
Let x = -32/69 + 26/23. Is -877 at least as big as x?
False
Suppose 0 = 7*q - 2*q + 115. Let k be (-5 + -13)*(-8)/6. Let g = q + k. Is g <= -2/285?
False
Let t(n) = 2*n - 28. Let k(b) = -b + 27. Let m(i) = 6*k(i) + 5*t(i). Let h be m(-7). Let j be (-2)/h - (748/156 + -4). Which is smaller: j or 2?
j
Let o(n) = -n**3 - 7*n**2 + 3*n + 26. Suppose 0 = 3*v - 13 + 34. Let w be o(v). Is w not equal to 26?
True
Let f = -324 - -304. Let h be (12/24)/(3/(-123)). Which is smaller: h or f?
h
Let k = 79.8 - 11.8. Let d = k + 189. Which is smaller: d or -1/2?
-1/2
Suppose -29*x + 30*x = 2, 4*l + 5*x - 2550 = 0. Is 1269/2 equal to l?
False
Let g(p) = p**3 - 5*p**2 - 4*p - 10. Let m be g(6). Let z(k) = k**3 + 70*k**2 - 801*k - 78. Let r be z(-80). Is m less than r?
False
Let g be 2/6 + (-21)