s bigger: 1 or r?
1
Let t be 14/21*90/(-84). Suppose 3*v = 3*m + 9, 0 = 7*v - 3*v + 3*m + 23. Which is smaller: v or t?
v
Suppose -4*t = -4*h - 24, h - 3*h = -4*t + 16. Suppose 0*q + 3*q - 12 = t*l, -2*q = l - 8. Let u = 1 - 0. Which is smaller: q or u?
u
Let a(f) = 87*f**2 - 5*f + 6. Let k be a(1). Which is smaller: k or 89?
k
Let l = 446 - 486. Which is bigger: l or -1/2?
-1/2
Let d(n) = -n**2 - 8*n + 4. Let a be d(-9). Let g = -4 - a. Let r be g/(1 - 15/18). Is r not equal to 7?
True
Let f = 112/11 - 549/55. Let x(z) = z**2 + z - 1. Let m be x(2). Suppose -m*s = -3*s - 10. Which is smaller: s or f?
f
Let y be 7 - (-7 + 20784/1482). Which is greater: y or 1?
1
Suppose -4*h - h + 45 = 0. Suppose -3*v = h*s - 4*s - 17, 5*s + 7 = 3*v. Is s bigger than 1/5?
True
Suppose 69 - 279 = -q. Is q != 211?
True
Let g(i) = -i - 15. Let b be g(3). Let p = -15 - b. Which is smaller: p or 6?
p
Let f = 0.008 + -29.008. Let r = f + 33. Which is smaller: -0.5 or r?
-0.5
Let c = -23.4 - 1.6. Let m = -18.2 - 6.7. Let r = c - m. Is 0.1 at most r?
False
Suppose -5*u - 1318 = -5*l - 223, 882 = -4*u - 2*l. Let f be (924/u)/(1/5). Let m = -47 + 25. Which is bigger: f or m?
f
Let h(v) = v**3 - 29*v**2 - 2*v + 36. Let g be h(29). Is -41/2 < g?
False
Let f be (-277254)/250 - (-1 + 1 - -3). Let l = -1112 - f. Is l less than or equal to 1?
True
Let d = -59922/1135 + -6/1135. Is -52 at least as big as d?
True
Let k = 22526899/144 - 156438. Let i = 21/16 + k. Which is bigger: i or -4/9?
i
Let y = -131/7105 - 2/1015. Let f be (18 - 32)*(-2)/28. Is y > f?
False
Let w = 0.0662 + 5.9338. Is w less than -3/4?
False
Let t be (-2)/2 - (1 + 5). Suppose -12 = 5*n + 8, -310 = -2*m - 4*n. Let z = -653/4 + m. Do z and t have different values?
True
Let c(p) be the first derivative of p**2/2 - p + 59. Suppose 4*t + 22 = -5*n, -2*t + 2*n + 2*n + 2 = 0. Let w be c(t). Is w equal to -11/3?
False
Let y = 4 + 2. Let z(s) = s**2 - 6*s + 1. Let t be z(y). Let n be (-30)/(-18) + (-1 - t). Is n greater than 0.3?
False
Suppose 0 = 5*g + 6 + 39. Let z = g - -3. Let h be (-4)/(z - -2) + -6. Does -4 = h?
False
Let c be -64 - (-4*(-8)/8 + 0). Which is smaller: -71 or c?
-71
Let m = -177 - -180. Suppose 3*v - 5*v - 20 = 0. Let b be (-9)/(-15)*v/(-4). Which is smaller: b or m?
b
Suppose 4*u + 32 = 28. Let m = 1 - 1. Is u equal to m?
False
Let t = -10 + 49. Let o = t - 29. Does o = 10?
True
Let f = 0 + -9. Let x be ((-7)/4)/(f/1080). Let i be (-50)/x + 4/6. Is i < 1?
True
Let w(l) = 13*l + 11. Let c be w(16). Is 220 < c?
False
Suppose -5*o = -7*o. Suppose 3*x - t + 17 = 0, -2*x = t + 2 + 1. Let r be 7/2 - (7 + x). Which is smaller: r or o?
o
Let p = -662 - -204. Is p smaller than -460?
False
Let v = 12.9 + -12.791. Let w = 23.109 - v. Are w and -0.2 equal?
False
Let n(r) = r**3 - 8*r**2 + 3*r + 6. Let g be n(8). Let l be (g/18)/((-1)/3). Suppose -t = 3*o + 13, 10 = -t - t + 2*o. Is t at most as big as l?
True
Let o(r) = 5*r**2 - 2*r**2 - 2*r**2. Let i be o(2). Suppose -3*g + 18 = 3*g. Which is bigger: g or i?
i
Let w = -469304/111 + 4228. Which is greater: w or -1?
w
Let p = 34 + -47.8. Let w = -41 + 27. Let y = w - p. Are y and -2/7 nonequal?
True
Let n(y) = 11 + 4*y - 17 - 3*y - 14. Let b be n(16). Is -4 <= b?
True
Let y(b) = 2*b**2 + 25*b + 87. Let r be y(-4). Are 58/3 and r equal?
False
Let p = 137 - 103. Which is smaller: 36 or p?
p
Let u be 16/(-40) - (-1772)/4380. Which is smaller: u or 0?
0
Let o = 0.10458 - 0.00458. Let j(a) = -4*a - 6. Let z be j(-4). Is o < z?
True
Suppose 2 = -60*o + 62*o. Do o and 9/52 have different values?
True
Let m be 2 + 4 + 0 - 1. Suppose 4*w + 5 = m*w. Suppose 0 = -w*u - 5 + 10. Which is greater: 2/13 or u?
u
Let d = 22594584/5551 - 516461/91. Let h be 5/(-20) - 12838/8. Let f = d - h. Which is smaller: f or 0?
f
Suppose -f + 21 = 6. Let s be (-18)/f - 1*-1. Let d = 202/609 - 4/87. Which is bigger: d or s?
d
Let t(p) = p**2 - 6*p - 4. Let c be t(8). Suppose 2*j - 2 - 1 = g, 4*g + c = -j. Do g and -4 have different values?
True
Let j = -124 + 200. Let b = 57 - j. Let k = -0.3 - -0.2. Which is greater: b or k?
k
Let q be 12/(6 + -8) - (-52)/8. Do q and -1004 have different values?
True
Let j(h) = 17*h**2 - 8*h + 2. Let a(r) = -16*r**2 + 7*r - 2. Let t(v) = -6*a(v) - 5*j(v). Let c be t(1). Which is smaller: 12 or c?
c
Suppose -q - 39 = -2*t + t, -114 = 3*q - 4*t. Let m = -41 - q. Is m at most 1?
True
Suppose -2*j - 14 = -f, -83 = -5*f - 4*j + 29. Which is smaller: f or 30?
f
Let j(k) = k**3 + k**2 + k - 2. Let q be j(1). Which is smaller: -2/761 or q?
-2/761
Suppose 833*f = 828*f. Let n be -6*1/(-40)*1. Is f greater than or equal to n?
False
Suppose 3*l - 4*m + 147 = -119, -m - 181 = 2*l. Let o be (4/8)/(27/(-4806)). Which is greater: l or o?
o
Let s = -756 - -595. Is s at least as big as -161?
True
Let j be (2 - 1)/(215/2365). Let v be 0 + 9 - (-1 - -1). Let s be 88/v + (-2)/(-9). Is s at most as big as j?
True
Suppose -6 = -2*y + 2*h, -2 - 3 = -3*y + h. Let v = 38 - -20. Let i be (v/90)/1 + 4/(-20). Which is smaller: y or i?
i
Let f be (-173)/(-7) - (0 + 10/(-35)). Let a be ((-2)/5)/((-10)/f). Let h be 1/(-2)*(0 + -1). Is a < h?
False
Let w = -75 + 75. Is 14 bigger than w?
True
Let v = 710 + -799. Which is smaller: 1 or v?
v
Let c(g) = -g**2 + g - 4. Let m be c(3). Let d(z) = -2*z - 12. Let w be d(-6). Suppose 4*t - 4*h + 32 = -w, 0 = -t + 5*h + 4. Which is bigger: t or m?
m
Suppose 5*d + 203 = u, -d + u - 35 = 4. Do d and -44 have different values?
True
Suppose 69*v = 64*v + 4*p - 17, 5 = -2*v + p. Which is smaller: v or 2/647?
v
Let x be (-2)/(27 + 4 - (1 - 0)). Which is smaller: x or -1?
-1
Let z = -2952 - -2525. Which is smaller: z or -428?
-428
Suppose 129 = -3*k + 3*b, -63 = 3*k + b + 70. Let a be 3 + ((-408)/k)/(-2). Let l(w) = -w**3 + 4*w**2 - 3*w - 3. Let m be l(3). Which is bigger: m or a?
a
Suppose 11*f - 3*f = f. Which is bigger: 3 or f?
3
Let v be 5362/(-10) - 10/(-50). Let j be v/24*(-135)/8. Let b = -375 + j. Is 2 greater than b?
True
Suppose -148*i + 10 = -143*i. Is i >= -57?
True
Suppose 5*x - 3*c + c = 18, 0 = -x - 4*c - 14. Let v be (x/30)/(9/(-27)). Let j = -1.6 + 0.6. Which is bigger: v or j?
v
Let d(i) = -i**2 + 10*i - 4. Let r be d(9). Suppose 4*u + r*m = -46, 5*u + 67 + 1 = -m. Which is bigger: u or -13?
-13
Let w(s) be the third derivative of 5*s**4/24 + 5*s**3/6 - 2*s**2. Let q be w(3). Which is smaller: 19 or q?
19
Let x = 6.1 - -0.9. Are x and 0.57 non-equal?
True
Suppose -g = -3*g - 34. Let x = 14 + g. Let a be (x/(-2))/(-6 - 3). Which is smaller: a or 1?
a
Let d(m) = m**2 + 3*m**3 + 3*m**3 - 5 - 8*m**3. Let j(h) = -h**3 + h - 4. Let s(i) = -2*d(i) + 3*j(i). Let z be s(2). Which is greater: z or 3?
z
Let b = 112 - 109. Suppose -b*n + 34 = 28. Is n <= -3?
False
Let h = -1136 + 1112. Which is smaller: h or -22?
h
Suppose -n - 3*n = -3*z - 48, 0 = -2*n + 2*z + 26. Suppose -45*w - 51 = -62*w. Is n greater than or equal to w?
True
Let h = -2 - -1. Let a be 2*(-58)/(-12) + (-6)/9. Is h at least a?
False
Let h(r) = -r**3 + 5*r**2 - 2*r - 3. Let a be h(3). Let q be -1 + 10*-1 + 2. Let y = q + a. Which is greater: -4/3 or y?
y
Let c = -724 + 495. Which is smaller: -225 or c?
c
Let f = 5 + -7. Let c(d) = d**3 + 3*d**2 + 5*d + 4. Let m be c(-1). Is f equal to m?
False
Suppose 2*z - 5*z = -9. Suppose 5*p - 29 = 4*s, -1 - z = -s - p. Is -1/71 greater than or equal to s?
True
Suppose 0 = 4*o + 4*z + 640, -z = 45*o - 41*o + 649. Is o less than or equal to -164?
False
Let g = 273 - 273. Let r = -17.2279 + 0.0879. Let j = r + 17. Does j = g?
False
Suppose -3*v + x + 924 = 0, 0 = -4*x + 6*x. Is 309 > v?
True
Suppose -5*u + 12*u = -1099. Which is smaller: u or -156?
u
Let t = 439 - 439. Are 0.052 and t nonequal?
True
Let q = 314 + -2208/7. Which is bigger: q or 0.2?
0.2
Let c = 22 + -20.2. Let m = c - 7.8. Let i = m - -2. Which is smaller: i or -1?
i
Let i be 10/12 + (105/90)/7. Is i at least as big as -12?
True
Let j be ((-51)/(-15) - (-8)/(-20))/(-32). Which is greater: 1 or j?
1
Suppose -5*h - 5*a = -215, 5*h - 127 = -a + 108. Suppose -h = -4*c + 8*c. Let k be c/(-78) - 128/494. Which is smaller: k or 0.3?
k
Let q(p) = -45*p - 5. Let z be q(-2). Suppose -31*r + 36*r = -z. Is r not equal to -18?
True
Let x = 11223/14774 - 66/89. Which is greater: x or -