ter than or equal to v?
True
Let u = -62249/19 + 3277. Which is greater: u or 2?
2
Let w = 1.385 + -1.345. Let p = 10 + -7. Let o = p + -3. Which is bigger: w or o?
w
Let d = 0 - 0. Suppose 2*t = -2*p - 490, -4*p - 465 = 2*t - 7*p. Let n = t - -1923/8. Which is greater: d or n?
n
Let o be 196/10 - (-3)/(-5). Suppose -o = -5*g + 1. Suppose -5*r = g*h - 12, -8*h - r - 4 = -4*h. Is 1 > h?
True
Suppose 4*k = 3*b - 93, -b + 0*b - 2*k = -21. Suppose 0 = 2*f - 6*f - 96. Let d be (-3)/4*f/b. Which is smaller: -1/19 or d?
-1/19
Suppose 5*x = -5*t + 50, -4*t - 5 = -x - 20. Let d be (1 - 53)/(-2) - -2. Suppose 8 = 4*b + x*z - d, 5*z = -b + 9. Is b at most as big as 10?
True
Let s(f) = f**2 + 11*f - 2. Let k be s(-13). Let x = k - 13. Let y = x + -19. Which is bigger: y or -7?
-7
Let z = -330 + 204. Which is smaller: -125 or z?
z
Let o = -359 - -314. Is o at most -369/8?
False
Let p be (-1 + 0)/((1/4)/(-1)). Let x be p/(-18) - 1230/135. Is -9 at least x?
True
Let s(b) = 71*b**2 + 2*b - 3. Let m be s(1). Let u be 0 + 3 - m/(-14). Is 8 equal to u?
True
Let x(t) = 249*t**3 + 3*t**2 - 4*t + 2. Let b be x(1). Are b and 250 equal?
True
Let j be 1290/(-5112) - 5/(-20). Are j and 0 equal?
False
Let m be -7 - (2 + -2 - -2). Which is smaller: m or -6?
m
Suppose 6 = -2*b + o, -3*o = 4*b + 3 - 1. Which is smaller: b or -7/4?
b
Let a(t) = 2*t + 3. Let u be a(2). Let r = 7 + -19. Let v = r + u. Which is bigger: v or -4?
-4
Let v(g) = -3*g**2 + 9*g - 1. Let f(i) = i**2 + i - 1. Let r(x) = -2*f(x) - v(x). Let u be r(15). Is u <= 63?
True
Suppose 4*f + v - 2 = 0, -31*f = -32*f + 5*v - 10. Do f and -0.9 have the same value?
False
Let y(o) = -6*o + 2*o + 5 + 0*o + 2*o. Let c be y(3). Let t = 2/7 - 5/14. Which is bigger: t or c?
t
Suppose 19 = -8*x - 13. Let d = 4 + x. Is 11 >= d?
True
Suppose m + 0*m = -7. Let d = m - -13. Let b(g) = g**2 + 43*g + 7. Let l be b(-43). Which is greater: l or d?
l
Let d be (-12)/5 - (-10)/25. Let b be 4 + -4*d/18. Is 3 at most b?
True
Suppose -2*t + 830 = -3*h, 0 = -3*h - 40*t + 45*t - 824. Is -280 smaller than h?
True
Let l = -11 + 15. Suppose 0 = 3*j + 9, 10*j = -l*n + 5*j + 21. Let k be (3 - n) + (-7 - -4). Which is bigger: k or -10?
k
Suppose 14 = 6*v - 16. Let q be (8/v)/((-1)/(5/2)). Is -27/5 less than or equal to q?
True
Let z(t) = -2*t**2 - 9*t + 17. Let p be z(-6). Which is smaller: 1/118 or p?
p
Suppose 4*o = 3*o. Suppose g + 1 - 4 = o. Suppose y = -3*l + l + 3, -3*y = -g*l. Are l and 1/14 equal?
False
Let b = -460041/280 - -1643. Which is greater: 1 or b?
1
Suppose -2*s + 8 = 0, -f + 3 = 5*s - 18. Which is smaller: f or 1/161?
1/161
Let y = -5 + 12. Let w = y - 9. Let g = 0.38 + -0.34. Which is smaller: g or w?
w
Let f = -146 - -138. Does -10 = f?
False
Let w = 15 + -8. Suppose 4*q - w = 1. Suppose 22*h - 23*h = -2. Do q and h have the same value?
True
Let c be 2 - 8/582*(3 + 144). Which is smaller: -1 or c?
-1
Let n(p) = 2*p**2 - 17*p - 65. Let a be n(-24). Is 1494 greater than a?
False
Let o = 18 - 16. Suppose -3*h + 2*h = 4*l - 6, -2*l + 2*h = o. Is 9/4 bigger than l?
True
Let f be (40/25)/((-1)/(-10)). Suppose 5*k - 20 = 3*a - 5*a, 2*a - f = -4*k. Let w = -237/7 - -34. Which is smaller: w or a?
a
Let w(q) = -q**3 + 11*q**2 + 34*q - 256. Let r be w(11). Which is bigger: r or 115?
r
Suppose 69 = -3*n + 3*c, 4 = -4*n + 3*c - 90. Which is bigger: n or -24?
-24
Let c = -0.053 - 0.297. Let f = c - 0.65. Is f equal to -5/4?
False
Let q = 1 - 1. Suppose 5*h = -4*o - 79, 4*h = -4*o + h - 81. Let d be 3/4 + o/28. Are d and q equal?
True
Let z = -69/125 - -20733/875. Let j = z - 24. Is j less than 2?
True
Suppose -3*j + 0*w + 14 = -5*w, 3 = -3*w. Suppose 0 = 4*k - 0*g - 4*g + 224, 0 = 2*k - j*g + 111. Is -57 equal to k?
True
Let m = 108 + -113. Let d be -1 - (-3)/(-12)*m. Which is smaller: d or 2?
d
Let f be 0 + -3 + (30 - 5). Let z be 2*(-9)/6 - 27. Let x = z + f. Is x less than or equal to -8?
True
Let t = 11.3 - 14. Let p = -9.3 + t. Let r = 12.3 + p. Which is smaller: 2 or r?
r
Let h = 19 - 19. Let p(a) = -a. Let b be p(5). Let m be 2/b*25/155. Is h greater than m?
True
Let h = -487 - -287. Let n be ((-2)/(-6))/(h/30). Let v = 17 - 17. Is v less than or equal to n?
False
Suppose 2*x = -2*r - 12, -2*r - 3*r + 20 = -5*x. Which is greater: r or -3/128?
-3/128
Suppose -4369 - 632 = -4*p - 5*x, 4*p - 5019 = x. Let r be 1/(-8) + p/432. Which is bigger: 3 or r?
3
Let t be (-1964)/(-18) - (-3)/1. Let q = 112 - t. Let z be -3 + 1 + (3 - 0). Which is smaller: z or q?
q
Let c = 7.1 - 4.3. Let u = -0.8 + c. Which is smaller: 36 or u?
u
Let k = -28 - -28. Let w be k + 0 + 5 + -5. Which is bigger: w or 2?
2
Let z = -33.98 + -3.02. Is z <= 0.3?
True
Let b be 3/(-15) + 51/105. Let y be 30/(-56) - 2/(-8). Do y and b have the same value?
False
Let r = -0.005 + -36.995. Let k = -36 - r. Which is smaller: k or -8?
-8
Let w(s) = s**2 + 6*s - 6. Let t be w(-7). Let n be (t/6)/(2/6). Which is greater: 0 or n?
n
Let x be (-1)/(-3)*(-7 + -17). Let r be (-6)/9 - x/(-6). Let t be 1/(-2) + 11/2. Which is greater: t or r?
t
Suppose -3*w + 0*w = 9. Suppose 2*g = -g + 6. Let z be (0 + -2)*w/g. Which is smaller: 0 or z?
0
Let o = -16802/451 + 946/41. Which is greater: o or -15?
o
Suppose 0 = j - 4*c - 128, 4*c - 5*c = j - 103. Is 108 smaller than j?
False
Let s be 4 + (3 - 248/12). Let a = -102 - -87. Is s greater than or equal to a?
True
Let o = 115180067/39 + -2954300. Let j = 965 + o. Does j = 0?
False
Let f = 0.2621 + 126.7379. Does 0.1 = f?
False
Let z = -12 - -14. Let l be (1 - z)*(1 + 0). Let m = -6 - l. Which is smaller: m or -3?
m
Let d(k) = -k**3 + k**2 - k - 1. Let c be d(2). Let y = c + -11. Does -19 = y?
False
Let c = -127.8 + 128. Are c and 0.014 equal?
False
Suppose 7*g - 552 = g. Which is greater: g or 90?
g
Let a = 1013/1892 - 24/43. Suppose 0 = -5*t + 2*o + 5, -3*t = -4*t + 4*o + 1. Which is smaller: a or t?
a
Let k(f) = -4*f + 7. Let w(s) = s. Let l(v) = k(v) + 3*w(v). Let d be l(15). Which is greater: d or -11?
d
Let a = 27 + -21. Suppose -14*f + 12*f = a. Which is smaller: 1/3 or f?
f
Let j be (-432)/(-270)*15/(-241). Is -1 at least as big as j?
False
Suppose -7*c - 16*c + 2392 = 0. Which is smaller: 102 or c?
102
Suppose -5 = 2*u + l, 3*u + 8 = -l - 0. Let w be (u - 0)*(-7)/28. Suppose 0 = -8*m + 3*m + 10. Is w at least m?
False
Let v = 9.37 - 9.27. Let t(n) = n**2 + n + 22. Let k be t(0). Do v and k have different values?
True
Suppose -3*v + 4*v - 137 = -q, -5*q - v + 693 = 0. Is 139 bigger than q?
False
Let y(j) = 70*j**2 - 4*j + 2. Let l(w) = w**2 + 4*w + 4. Let r be l(-1). Let m be y(r). Are 67 and m non-equal?
True
Suppose 0 = 28*b - 105 - 959. Is b bigger than 43?
False
Let l = -53 + 26. Let z = l - -137/5. Which is greater: 4 or z?
4
Let r(h) = -6*h**2 + 19*h - 5. Let o be r(3). Let g be 4/(-6) + (-46)/(-6). Which is smaller: g or o?
o
Suppose -2*l - 18 = m, -7*l - 31 = -2*l - m. Is l greater than or equal to 30?
False
Let p(o) = -8*o + 118. Let u be p(18). Is -23 bigger than u?
True
Let n = -358 - -358. Let l be (-6)/(-3)*2/4. Let u be (2 - (1 - -2))*l. Which is bigger: u or n?
n
Let i = 1/1090 - 1739/113360. Which is bigger: -1 or i?
i
Let p be (2 - 14)*(-1)/(-3). Let d be (p/(-12))/((-1)/12). Suppose 3*a + 20 = -2*a. Is a < d?
False
Let w = -0.17 - -9.17. Let l = 5 - w. Let g = 166 + -171. Which is smaller: g or l?
g
Let t = 17.2 + -16. Let w = 1.1 + 0. Let o = t - w. Which is smaller: 4 or o?
o
Let p(z) = 2*z**3 - 6*z**2 + 3*z - 8. Let m be p(6). Let n = -4975/22 + m. Which is greater: n or 0?
0
Suppose 3*c = 6, 3*c = 2*s + 5*c. Let q be ((-1)/(-2)*s)/1. Let t = -817/1939 - 2/277. Are t and q unequal?
True
Let u(h) = 7*h + 19. Suppose -10*a = -12*a - 18. Let s be u(a). Is s at most as big as -44?
True
Let k = -0.1 - -0.2. Let j = -2.152 + -85.698. Let f = -88 - j. Are k and f equal?
False
Suppose 0 = -3*f + f + 5*x + 18, 0 = -2*f - x + 6. Suppose 4*z = -f*q + 3*z + 5, -q + z - 5 = 0. Which is smaller: q or 3/13?
q
Let p = 1486.8 - 1515. Let v = 37 + -65. Let j = p - v. Which is bigger: -3/5 or j?
j
Suppose -3*s - 34 = 2*g, 11*g - 14*g = s + 44. Is -90/7 less than or equal to g?
False
Let x = 0.0805 - -3.8195. Which is smaller: x or 4?
x
Suppose 4*s + 15*s = -19. Which is bigger: s or 12/97?
12/97
Suppose 20*y = 13*y + 364. Is y a