- (-65)/(-13). Let d = 0.02 + -0.08. Which is bigger: d or i?
d
Let j(k) = 29*k - 15. Let x be j(-5). Which is smaller: x or -158?
x
Let z be 2*((-44)/(-28))/(-11). Let p = 0 - -4. Do z and p have the same value?
False
Let h be ((-3)/(-2))/((-24)/54). Is h bigger than -1/3?
False
Suppose 3*y + u = -1 + 8, 2*u = 5*y - 19. Suppose 0 = -2*i - 4, d + y*i = -i - 50. Let p = d - -376/9. Which is greater: p or 2?
2
Let t be (3 - 3)*(5 + -4)/1. Which is bigger: t or 1/862?
1/862
Let m = -3 + 3.1. Let r = 380 - 384.2. Is m greater than or equal to r?
True
Let h = -16 - -15.78. Let d = h - -2.22. Which is bigger: -7 or d?
d
Suppose 6*l + 128 = 530. Suppose 4*y = 6*y - 2*g + 34, 5*y + 4*g = -l. Let q be -3 - (-5)/(y/(-6)). Which is greater: -8 or q?
q
Suppose -2*v = v + h - 16, -3*v = 5*h - 20. Let f be 0 + -1 - (-4 + 3). Suppose 2*s - 14 = 2*g, f = 2*s - s - v. Which is greater: -1/2 or g?
-1/2
Suppose 14 = 2*c + 8. Let g be 1*(2 + -5 + 9). Suppose -c*a = -6*a + g. Which is greater: a or 0?
a
Let i = 126 + -82. Let l = -52.1 + i. Let n = l + 8. Are n and 0.2 equal?
False
Let r = 74912/195 - 4826/13. Which is bigger: 13 or r?
13
Suppose 455*q - 442*q = -5707. Do -439 and q have different values?
False
Let s = -204 + 3467/17. Let y = 513/5 - 103. Is y less than or equal to s?
True
Let v = 390 + -528. Which is smaller: 1 or v?
v
Let w = 3.47 - 1.47. Is -9 bigger than w?
False
Let f = 28 - 59. Let w = f + 43. Let x = w - 8. Which is smaller: 5 or x?
x
Let f be 2 + (-2978)/4468*3. Let n = 4553/189890 - f. Is 0 at least n?
False
Let g be -1*(-6 + 6 + 1). Let n be 113*(-2)/14 + 0. Let k = n - -16. Are g and k non-equal?
True
Let g be 1/(4 - (-21)/(-7)). Which is smaller: 6/233 or g?
6/233
Let i = -8007479/133 + 418339/7. Let s = i + 444. Which is bigger: 0 or s?
s
Let m = 20.3 + 106.7. Let w = m - 124. Is 3 at most as big as w?
True
Let l = 223.89 - 224. Is l < -0.4?
False
Let h = 32 + -31.48. Let z = 0.52 - h. Is z at least -48?
True
Let c be 828/(-46)*6/4. Is c != -21?
True
Let m = -75 - -110. Let a be m/42*4/5. Let d = -0.2 - -0.3. Which is bigger: d or a?
a
Let v be 222*((-60)/(-36) - (-4)/(-12)). Which is smaller: 293 or v?
293
Let t be (-48)/195 - (-10)/25. Suppose 2*h = -2 + 10. Suppose w = -5 + h. Are w and t equal?
False
Let r = 8 + -10. Let j be (3/r)/((-15)/100). Suppose j*p = 5*p + 5, 5*p = -3*y + 68. Do 20 and y have the same value?
False
Let m = 1576/91 - 160/7. Which is smaller: m or -6?
-6
Suppose -5*o + 2 = 2*y - 13, y = 2*o + 3. Suppose 10*t = 12*t - 36. Let p be (4 - 0 - 6)/t. Which is smaller: p or o?
p
Suppose 5*m = 19 - 4. Suppose -3*w - s + 12 = 3*s, w + m = s. Is -2/91 less than w?
True
Let j be (-4)/(-10) - 2618/(-15). Let k be (-3)/(-4) - 31635/180. Let x = j + k. Is 0 less than or equal to x?
False
Suppose 2*w - 4*z - z = -24, 2*w - 12 = -4*z. Which is greater: w or -7?
w
Let h(y) = 3*y + 1. Let z be h(-1). Let x be ((-13)/(-78))/(z/16). Do -1/4 and x have the same value?
False
Let b = -569 - -928. Is b smaller than -0.1?
False
Let r = 59.07 - 59. Which is bigger: 5 or r?
5
Let d(s) = s**2 - 2*s - 1. Let f be d(3). Let m(b) = -b**3 - 11*b**2 - 23*b + 42. Let r be m(-7). Which is greater: r or f?
r
Let q = 1331 + -1332. Is q at most as big as -2/1389?
True
Let d be -2 - -5 - (-12)/(-6). Let u be (((-6)/(-18))/((-1)/3))/d. Which is greater: u or -7?
u
Let g = 1.8 - 1.7. Let h = 1237.22 + -1221. Let i = -0.22 + h. Which is bigger: g or i?
i
Let n = 0.73 + -0.66. Let h = n + -1.07. Let x = -422 - -3794/9. Which is greater: h or x?
x
Let f = -147/8 - -2507/136. Let m be 3 + (3 - 2) - 3. Does f = m?
False
Let j = 23 + -8. Suppose 8*c = c + 98. Let n = c - j. Is 3/19 at most n?
False
Let d = -5 - -5.08. Let i = d - 0.38. Which is greater: i or 1/8?
1/8
Let f = -468 - -492. Is -0.11 at least as big as f?
False
Let h be 5*(-3 - 1 - (-64)/20). Is -13 greater than or equal to h?
False
Let j = -329 - -362. Which is bigger: 1 or j?
j
Let m = 1/15 - 8/3. Is m equal to -2?
False
Let c = -29 + 31. Suppose 5*l - 6*l + c = 0. Is 1/6 < l?
True
Let r = 150/427 - 4/61. Let w(j) = j**3 - 15*j**2 - j + 15. Let s be w(15). Let g be 12/(-48) + s*(-2 - -3). Which is bigger: g or r?
r
Let d be (-5 - 3) + 11 - 4. Which is smaller: d or -1/68?
d
Let t be (0 + -2)*(-3)/(-24). Let o = -0.122 + 19.122. Which is greater: o or t?
o
Let c be (2/8)/(2/(-16)). Suppose 2*v - 5 - 13 = 0. Let o be ((-5)/(-10))/(v/(-39)). Which is bigger: c or o?
c
Let a = 2896785656/1785 + -1622849. Let s = -4/51 + a. Which is bigger: -1 or s?
s
Let t(l) be the first derivative of -l**4/4 + 2*l**3 + l**2/2 + 2*l - 15. Let i be t(6). Which is smaller: i or 7?
7
Let v be (5/((-40)/8))/1. Which is smaller: v or 2/4849?
v
Let b be 879/117 + 56/(-7). Which is smaller: b or -1?
-1
Let f(s) = -39*s - 79. Let g be f(-2). Let l be 2440/45 - 2/9. Let p be -2 + ((-8)/l - -2). Does p = g?
False
Let u(v) = v**3 + 5*v**2 - 15*v - 10. Let k be u(-7). Let b(p) = -2*p**2 + 0*p**2 + p**3 + 4*p**2 + 2. Let j be b(k). Which is smaller: -8 or j?
-8
Let a(q) = -q**2 - 9*q - 5. Let m = 12 - 21. Let d be a(m). Is -5 greater than d?
False
Suppose 5*a - 30 = -5. Let l = -8 - a. Let h be 5 - -1 - (15 + l). Is 0.1 not equal to h?
True
Suppose 30*z - 23*z + 7 = 0. Are 4/23 and z non-equal?
True
Let b(j) = j. Let s be b(1). Suppose -3*w + s = -5. Let v be 3*(28/12 - w). Which is greater: -9 or v?
v
Let c be (16/56)/(138/14). Let x be ((-3)/6)/(-1)*-2. Is c equal to x?
False
Suppose 3*d + 0*d - 6 = 0. Let l = -1/134 - -541/670. Is l >= d?
False
Let w be (3 + -5 - 1) + 1. Let s = w - -2. Let j = -211/3 + 71. Which is smaller: s or j?
s
Suppose -2 + 2 = -7*v. Suppose -4*g - k - 33 = -9, 2*k = -5*g - 33. Let x = g - -16/3. Which is greater: v or x?
x
Let g = -2.3 - 1.7. Let m = -5 + g. Let a = m + 13. Which is smaller: -2/3 or a?
-2/3
Let f be 6/(-15)*(-10)/4. Is -0.63 less than or equal to f?
True
Let p = -32 - -33.7. Let v = -0.7 + p. Is v not equal to -10/11?
True
Let g be 12/(-3)*3 - 12/(-3). Let m = -17 + 31. Let j be m/21 - g/6. Which is smaller: j or -8?
-8
Let f(u) = 7*u**2 + 19 + 11*u - 8*u**2 - 2*u**2 + 4*u**2. Let v be f(-9). Which is bigger: -2/19 or v?
v
Let a = -2 - 13. Let x = a + 16. Let f be (-2)/6 - 14/(-60). Which is greater: f or x?
x
Let k be (-3)/5 - 38/(-5). Suppose k*u = 19 + 16. Suppose u*g + 13 + 22 = 0. Which is bigger: g or -4?
-4
Let u = 1296 - 1356. Which is smaller: -50 or u?
u
Let d(k) = 14*k + 209. Let f be d(-13). Are f and 34 equal?
False
Let g = -1/60 + -1073/420. Which is bigger: -4 or g?
g
Let q(j) = -j + 8. Let m be q(6). Suppose -6*o + 89 - 29 = 0. Suppose f = g + 7, -o*g = -7*g - 9. Which is smaller: f or m?
m
Let a = -2/37 + -29/148. Let p = 8 + 27. Let z = p - 35.1. Is z > a?
True
Suppose 0 = 4*j + 4. Let m = 1032 - 1035. Which is greater: m or j?
j
Suppose 0*g + 3*g = 134181. Let l = g - 358359/8. Let r = l + 135/2. Which is greater: r or 0?
0
Let n be (-1 - 20)*(-4)/12. Suppose 10 = 11*h - 9*h + 3*b, -b = -2*h + 10. Which is smaller: h or n?
h
Let t = -3397/7 - -490. Does t = 6?
False
Let k(y) = -6*y**2 - y. Let j be k(-1). Let n(w) = w**3 + 4*w**2 - 4*w + 7. Let l be n(j). Suppose 3*i + 4 + l = 0. Which is bigger: i or -3?
i
Suppose -17 - 1 = 2*m. Which is bigger: -19/2 or m?
m
Let s be (-2 - 2)/(-3 - 1*-4). Let y be 0 - (s + (-4)/312*-313). Does y = 0?
False
Let t be (21/(-6) + 4)*(1 + -265). Which is greater: -131 or t?
-131
Let q = 21313 + -14017. Let n be 3/6*q/(-27). Let d = 136 + n. Which is smaller: 0 or d?
0
Let t = -253 + 253.3. Is t > 1/2?
False
Let r be 1/(-4) - 7/4. Let p be ((-7)/(-4))/(r/8). Let n = 713 + -712. Which is greater: p or n?
n
Suppose -3*j + 23 + 3 = 5*g, -2*j + g = 0. Suppose -4*u - l - j*l = -5, 2*u = -3*l - 5. Which is smaller: 0.01 or u?
0.01
Suppose -2*v = 5*w + 103, 2*w = -3*v - 0*v - 39. Let r = -22 - w. Let m be r + -4 + 8 - 0. Which is smaller: 5 or m?
m
Let c(o) = o + 2 + 0*o - 14. Let x(a) = -a**3 + 8*a**2 + 10*a - 4. Let g be x(9). Let s be c(g). Which is bigger: -13/2 or s?
-13/2
Let i(k) = 2*k**3 + 35*k**2 + 14*k - 51. Let w be i(-17). Is -11 bigger than w?
False
Let b be 1/((-16 - -11) + 6/(-4)). Is -2/67 at least b?
True
Let f be ((-12)/(-20))/3 - 48/(-560). Let k be 2 - (-51)/1 - -2. Let i = 215/4 - k. Which is smaller: f or i?
i
