er: -15 or j?
-15
Let z be 105/(-24) + (1 - -2) + 6/16. Is -36/41 not equal to z?
True
Let p = 739 - 622. Let s = p - -431. Do 1/4 and s have different values?
True
Let f = 106.4 + -29.5. Let t = -77 + f. Which is smaller: t or -3.9?
-3.9
Let z be ((-2)/3)/(2/(-3))*0. Let n = 332 - 10958/33. Let g = -50/99 - n. Do g and z have the same value?
False
Suppose 644*a = 648*a. Suppose 96 + a = -12*l. Which is smaller: -5 or l?
l
Let c(z) = -z**2 - 30*z + 932. Let j be c(-49). Is j at most as big as -1/188?
False
Let h = -48 - -92. Let r = h - 45. Which is greater: r or 1/4?
1/4
Let w = -850 + 868. Which is smaller: 19 or w?
w
Let c be (-9)/(-810)*-27 - 2/(-4). Let t = -10 + 10. Suppose -3*z - w - 2 = t, 4*w = z + 2*w - 4. Which is bigger: c or z?
c
Let g = -325 - -327. Let m be (-1710)/(-414) - ((4 - g) + 2). Is -1 equal to m?
False
Let w = -688 - -708. Is w greater than or equal to 101?
False
Suppose -3*m = -a + 5028, -1692 = m - 17*a + 14*a. Which is greater: m or -1673?
-1673
Let n be (-8)/(-2) + -1 + -4 + 4. Suppose 2*q = -k + 20, -4*k + 8*k - n*q = 102. Let f = k - 22. Do f and 42/13 have the same value?
False
Suppose 99*s + 7 = 105*s + 1. Let i = -0.41 - -0.1. Do s and i have the same value?
False
Let i be (-145)/(-1972)*17*(-48)/3930. Let q be (2 + 14/(-6))*-3. Which is smaller: q or i?
i
Let o = 4.37 + 6.76. Let m = -1 - -12. Let f = m - o. Which is smaller: f or -0.2?
-0.2
Suppose 4*o - 787 = 3*o + 3*p, -p = -4*o + 3137. Is o bigger than 785?
False
Let g = -0.681 + -3.319. Are g and 143 non-equal?
True
Let x = 1076 + -1215. Suppose -1242 = 3*m + 6*m. Which is bigger: m or x?
m
Let q = -11.7 - 4.8. Let c = -68 + q. Let n = c - -85. Which is smaller: -5 or n?
-5
Let x = -9 - -47. Let a(r) = r**3 + 11*r**2 - 39*r - 171. Let q be a(-13). Let o be (q*1)/(x/(-19)). Is 2/23 at least o?
False
Let m(c) = 30*c - 174. Let g(z) = -32*z + 177. Let b(x) = -5*g(x) - 6*m(x). Let d be b(8). Is 219 != d?
True
Let y(v) = -v**2 - 16*v + 351. Let g be y(12). Is g at most 530/39?
False
Let u(t) = -23*t**3 + 5*t**2 + 9*t - 20. Let w be u(-4). Suppose -w = 14*i + 2200. Which is smaller: i or -263?
i
Let l be -4*(-6705)/(-18)*(-1)/(-4). Which is smaller: -372 or l?
l
Suppose 501 = 8*w + 157. Suppose w*x = 44*x - 10. Which is smaller: x or 18?
x
Suppose 5*k + 1321 = -7*t + 9*t, k - 664 = -t. Which is greater: 664 or t?
664
Let h = -95 + 97.17. Let u = h - 34.17. Is u >= -0.1?
False
Let f be ((-4)/10)/(1/(-10)). Let s be 14/(-12) + 6/f. Let t = -6528 - -424318/65. Which is greater: t or s?
s
Suppose 0 = 3*m + 5*y - 863, -31 = 2*m + 2*y - 601. Let f = m - 232. Is 48 != f?
True
Let d = -37 + 7. Let a = d + 22. Let i be a/10 - (-111)/120. Is i at least as big as 6?
False
Let f = 25/148 - -3/37. Let w = 0.191 + -0.1. Let p = 0.161 - w. Which is greater: p or f?
f
Suppose -306*s = -72*s + 3*s + 125*s. Which is bigger: 1160 or s?
1160
Let l be 4*3/(-18540)*(7 + 427/(-70)). Is l smaller than 0?
True
Let i = -8.4 - -97.2. Let a = 90 - i. Let b = -1.7 + a. Which is bigger: 5 or b?
5
Let u(d) = 439*d + 3511. Let o be u(-8). Which is smaller: -3/157 or o?
o
Suppose 3*a - 4*g - 26 = -0, 3 = 4*a + g. Suppose -v = -1 + 4, 7 = a*h + v. Let b(o) = 2*o - 6. Let r be b(h). Which is bigger: -2 or r?
r
Suppose -f - 3 = -36. Let b = 225 + -225.06. Are b and f nonequal?
True
Let w(g) = 7*g**2 - g. Let m be w(1). Let y be ((-3)/6)/((-10)/(60/m)). Which is smaller: -309 or y?
-309
Suppose 0 = -0*c + 5*c + 20. Let p be (-2)/(-4) - c/(-8). Let g be ((-12)/(-8) + 17/(-11))*1. Are p and g non-equal?
True
Let q = 5536 - 7913. Is q at least as big as -2379?
True
Let t = 162840 - 2606273/16. Which is smaller: -51 or t?
t
Let n = -657 + 692. Let c be ((-1)/(-2))/((-1)/70). Let a = c + n. Is a bigger than -1?
True
Let d = 323 - 651. Let q = d + 418. Which is smaller: 91 or q?
q
Let g(b) = -13*b**3 + 3*b**2 - 13*b + 60. Let w be g(7). Is -4341 greater than w?
True
Suppose -2*s - 14 = -46. Let u be ((-4)/s)/(1/(-8)). Are -1 and u non-equal?
True
Let t(q) = -2*q**2 - 14*q + 32. Let m be t(2). Let c = 17 + -13. Let s = 2 - c. Which is smaller: m or s?
m
Let u = 7289 - 7279. Which is smaller: u or 1.69?
1.69
Let a be (20/(-1050))/(3/7). Let f(w) = w**2 + 6*w + 2. Let i be f(-6). Let y be 0/((i - 3) + 0). Which is smaller: y or a?
a
Suppose 11*b + 64 = -178. Let z be (-11)/(b/(-15))*(-10)/3. Suppose y + v = z, -3*y - 4*v + 121 = 2*y. Do y and 23 have different values?
True
Suppose 12 - 185 = 80*n - 13. Which is smaller: n or -276/11?
-276/11
Suppose -2*h + 0*h + 413 = 5*r, 0 = 5*h - 20. Let t be ((-15)/10)/(r/4). Which is greater: 1 or t?
1
Let p = 8113 + -7885. Which is smaller: -7 or p?
-7
Suppose -2*w - 8 = -12. Suppose -b + 22 = -5*d, b + 2*d = -w + 17. Let v = b + -18. Which is smaller: 3/29 or v?
v
Let p = 17 + 30. Let z = 39 - p. Let w be (52/39)/(z/(-6)). Are w and 20 non-equal?
True
Let d be 0 + (-9)/(-30) + 877191/(-770). Which is bigger: -1140 or d?
d
Suppose -2*b = -4*r - 5*b + 28, -2*b + 8 = 0. Suppose -y + 3*o = -47, 2 = r*o + 14. Suppose 82 = 2*w + 3*z, 6 + 4 = 5*z. Is y < w?
False
Suppose -7*w + 1200 + 2853 = 0. Let x = w + -557. Is x at most as big as 22?
True
Let u = -12086 + 12083. Is 3/556 at most as big as u?
False
Let n = -8545/962 - -663/74. Suppose -2*s - 3*u + 11 = -0*s, s = -3*u + 7. Let c be s/18 - (-11)/(-9). Which is smaller: c or n?
c
Let x(g) = -11*g + 11*g - 6*g + 15*g + 12*g + 119. Let q be x(-9). Is -70 <= q?
True
Let h be 3/6 + 2/(8/62). Let l be 22/27 - h/24. Is l equal to 0?
False
Let n = -3.8 + -1.2. Let z = n + 3. Let i = 18510 + -18509.8. Which is greater: z or i?
i
Let p be ((-2)/4)/(1*(-3)/(-462)). Is -12 at least as big as p?
True
Let s(m) = -314*m - 45. Let g be s(-4). Let u = g - 132000/109. Is -1 bigger than u?
False
Let i(l) = -30*l**2 + 109*l + 37. Let p be i(7). Which is bigger: p or -684?
p
Let g be (-364)/3822 - -27029*(-1)/(-21). Which is smaller: g or 1290?
g
Let l(m) = 10*m - 196. Let x be l(7). Do x and -118 have the same value?
False
Let n be 98/28*((-24)/(-13412) + 0). Is n less than 1?
True
Let p be 6/(-8) + (-3)/12. Let n = p + 2. Suppose 0 = f - 10, -9*x + 4*x - 2*f - 135 = 0. Does n = x?
False
Let l be ((-10 - (-10)/1)*(-4)/(-16))/3. Let d(j) = -j**2 + 6*j + 7. Let p be d(7). Suppose -c + p*c - 5*r - 25 = l, 0 = 2*r + 10. Which is bigger: c or -11/9?
c
Let x = 11944 - 11942.3. Which is bigger: x or 105?
105
Suppose -6 = -5*l + j, 0*l + 5*j = 3*l - 8. Let v be -10*(3 - (-5 + 19044/2385)). Are v and l nonequal?
True
Let s be ((1340/1072)/((-5)/(-21766)))/(1/2). Is s bigger than 10882?
True
Let p = -12/1475 + -56899/4425. Let z = -52/15 - p. Which is greater: 8 or z?
z
Let y = -24137/6 - -3986. Let p = y + 1333/30. Which is bigger: p or 7?
p
Let m be ((-4)/(-15))/(2/(-396)*129). Let n = m - -2/215. Let j = -41/15 - n. Which is smaller: j or 2?
j
Let t = 399.3 + -391. Which is greater: t or 3/5?
t
Let q = -2609 - -2410. Suppose -3*w + 9*w = -1182. Do q and w have different values?
True
Let h = 16504 - 16515. Which is bigger: -69 or h?
h
Let p = -205 + 204. Let x = 243/2030 + -4/203. Is x < p?
False
Let z = 279/580 + 421189/51620. Let t = z - 296529/36935. Let a = t - 1/83. Which is greater: -9/5 or a?
a
Let w(b) = b**3 - 8*b**2 - 3*b + 10. Let l be w(8). Let i(y) = 0*y**3 + 4*y**2 + y + y**3 + y**2 - 6. Let p be i(-5). Which is smaller: p or l?
l
Suppose 4*g = 105 + 7. Suppose g = -2*h + 32. Suppose -a + m - 12 = h*a, -4*a - 4*m = 0. Which is smaller: a or -20/9?
a
Suppose 768 = -4*r - 8*k, -90 = 2*r + k + 276. Which is smaller: -2350/13 or r?
-2350/13
Let o = -2704/3252589 - -10/3413. Is 1 less than o?
False
Let q(v) = -5*v + 18. Let n be q(3). Suppose n*k + k = 16. Let z be 1/(4/12) - k. Which is bigger: z or -6/25?
-6/25
Let q(b) = -b**3 + 4*b**2 - 4*b - 2. Let g be q(2). Let j be (g/1)/(-6) - (-506)/138. Is j at most as big as 3?
False
Let a = -3703 - -96297/26. Let t = -2099/2730 + a. Which is greater: t or -1?
t
Let b = 366068/25814895 - 19/1335. Which is smaller: 0 or b?
b
Suppose -549*m + 546*m + 15 = 0. Suppose 4*w = m*w - 4. Which is smaller: w or 17?
w
Let m = -10062 - -10092. Which is smaller: 7 or m?
7
Let l be ((-3)/3 + 1)*-1. Let g be ((-4)/10)/1 - 1038/(-120). Which is bigger: g or l?
g
Let r = 3 - -208. Let a be (-8)/24 - r/15.